Bob is furry. Bob is quiet. Bob is young. Erin is cold. Erin is quiet. Erin is red. Erin is young. Harry is big. Harry is furry. Harry is red. If someone is red then they are cold. Furry people are cold. Quiet, cold people are furry. All young people are round. If someone is round then they are red. If Bob is round and Bob is cold then Bob is red.
Bob is big.
@0: Bob is furry.[(triple1 OR ((triple2 ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule3))] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Erin is cold.[(triple4 OR ((triple6) -> rule1) OR ((((((triple7) -> rule4)) -> rule5)) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((((triple7) -> rule4)) -> rule5))] Erin is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] @1: Bob is cold.[(((triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule5)) -> rule1))] Bob is round.[(((triple3) -> rule4))] Erin is furry.[(((triple5 triple4) -> rule3) OR ((triple5 ((triple6) -> rule1)) -> rule3) OR ((triple5 ((((((triple7) -> rule4)) -> rule5)) -> rule1)) -> rule3))] Erin is round.[(((triple7) -> rule4))] Harry is cold.[(((triple10) -> rule1) OR ((triple9) -> rule2))] @2: Bob is red.[(((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule4) ((triple1) -> rule2)) -> rule6))]