Bob is big. Bob is furry. Bob is red. Bob is rough. Erin is cold. Erin is red. Fiona is red. Harry is blue. Harry is cold. Harry is red. All red, rough people are blue. Blue people are cold. If someone is red and cold then they are young.
Erin is not young.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Fiona is red.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple8) -> rule2))] Harry is red.[(triple10)] @1: Bob is blue.[(((triple3 triple4) -> rule1))] Erin is young.[(((triple6 triple5) -> rule3))] Harry is young.[(((triple10 triple9) -> rule3) OR ((triple10 ((triple8) -> rule2)) -> rule3))] @2: Bob is cold.[(((((triple3 triple4) -> rule1)) -> rule2))] @3: Bob is young.[(((triple3 ((((triple3 triple4) -> rule1)) -> rule2)) -> rule3))]