Bob is big. Bob is quiet. Bob is young. Charlie is young. Erin is quiet. Erin is rough. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Big, quiet things are green. If Bob is round then Bob is nice. If something is young then it is round. All quiet things are nice. All nice things are young. Quiet, round things are big.
Bob is rough.
@0: Bob is big.[(triple1 OR ((triple2 ((triple3) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule4)) -> rule5)) -> rule3)) -> rule6))] Bob is quiet.[(triple2)] Bob is young.[(triple3 OR ((((triple2) -> rule4)) -> rule5))] Charlie is young.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Gary is green.[(triple7 OR ((((triple9 ((triple11) -> rule3)) -> rule6) triple9) -> rule1) OR ((((triple9 ((((triple8) -> rule5)) -> rule3)) -> rule6) triple9) -> rule1) OR ((((triple9 ((((((triple9) -> rule4)) -> rule5)) -> rule3)) -> rule6) triple9) -> rule1))] Gary is nice.[(triple8 OR ((triple9) -> rule4))] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is young.[(triple11 OR ((triple8) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] @1: Bob is green.[(((triple1 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule3)) -> rule6) triple2) -> rule1) OR ((((triple2 ((((((triple2) -> rule4)) -> rule5)) -> rule3)) -> rule6) triple2) -> rule1))] Bob is nice.[(((triple2) -> rule4) OR ((((triple3) -> rule3)) -> rule2))] Bob is round.[(((triple3) -> rule3) OR ((((((triple2) -> rule4)) -> rule5)) -> rule3))] Charlie is round.[(((triple4) -> rule3))] Erin is nice.[(((triple5) -> rule4))] Gary is round.[(((triple11) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((((triple9) -> rule4)) -> rule5)) -> rule3))] @2: Erin is young.[(((((triple5) -> rule4)) -> rule5))] Gary is big.[(((triple9 ((triple11) -> rule3)) -> rule6) OR ((triple9 ((((triple8) -> rule5)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4)) -> rule5)) -> rule3)) -> rule6))] @3: Erin is round.[(((((((triple5) -> rule4)) -> rule5)) -> rule3))] @4: Erin is big.[(((triple5 ((((((triple5) -> rule4)) -> rule5)) -> rule3)) -> rule6))] @5: Erin is green.[(((((triple5 ((((((triple5) -> rule4)) -> rule5)) -> rule3)) -> rule6) triple5) -> rule1))]