Bob is big. Charlie is green. Erin is furry. Erin is green. Erin is nice. Harry is big. Harry is young. All green things are quiet. All red things are big. If something is red then it is green. If Charlie is quiet then Charlie is furry. All quiet, red things are young. If something is young then it is nice. If Bob is big and Bob is young then Bob is furry. Furry things are red.
Charlie is nice.
@0: Bob is big.[(triple1)] Charlie is green.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((((triple3) -> rule8)) -> rule3))] Erin is nice.[(triple5 OR ((((((triple4) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6))] Harry is big.[(triple6)] Harry is young.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule1))] Erin is quiet.[(((triple4) -> rule1) OR ((((((triple3) -> rule8)) -> rule3)) -> rule1))] Erin is red.[(((triple3) -> rule8))] Harry is nice.[(((triple7) -> rule6))] @2: Charlie is furry.[(((((triple2) -> rule1)) -> rule4))] Erin is big.[(((((triple3) -> rule8)) -> rule2))] Erin is young.[(((((triple4) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule8)) -> rule5))] @3: Charlie is red.[(((((((triple2) -> rule1)) -> rule4)) -> rule8))] @4: Charlie is big.[(((((((((triple2) -> rule1)) -> rule4)) -> rule8)) -> rule2))] Charlie is young.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule4)) -> rule8)) -> rule5))] @5: Charlie is nice.[(((((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule4)) -> rule8)) -> rule5)) -> rule6))]