Bob is kind. Bob is young. Erin is furry. Erin is green. Erin is red. Erin is young. Gary is furry. Gary is kind. Gary is red. Harry is big. Harry is green. Harry is red. If Bob is big and Bob is red then Bob is young. Kind people are red. All red people are young. If someone is furry then they are rough. Big people are red. Red people are furry.
Bob is green.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2 OR ((((triple1) -> rule2)) -> rule3))] Erin is furry.[(triple3 OR ((triple5) -> rule6))] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is young.[(triple6 OR ((triple5) -> rule3))] Gary is furry.[(triple7 OR ((triple9) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] Gary is kind.[(triple8)] Gary is red.[(triple9 OR ((triple8) -> rule2))] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule5))] @1: Bob is red.[(((triple1) -> rule2))] Erin is rough.[(((triple3) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] Gary is rough.[(((triple7) -> rule4) OR ((((triple9) -> rule6)) -> rule4) OR ((((((triple8) -> rule2)) -> rule6)) -> rule4))] Gary is young.[(((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Harry is furry.[(((triple12) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] Harry is young.[(((triple12) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule6))] Harry is rough.[(((((triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule5)) -> rule6)) -> rule4))] @3: Bob is rough.[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]