Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is young. Erin is nice. Erin is quiet. Erin is rough. Erin is round. All rough people are young. All young, round people are nice. If Erin is quiet and Erin is blue then Erin is big. Rough, quiet people are young. If someone is big then they are nice. If Erin is big and Erin is young then Erin is rough. All round people are young. Round, quiet people are blue.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple5 triple3) -> rule8))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6 OR ((triple4) -> rule1) OR ((triple5) -> rule7) OR ((triple4 triple3) -> rule4))] Erin is nice.[(triple7 OR ((((triple10) -> rule7) triple10) -> rule2) OR ((((triple9) -> rule1) triple10) -> rule2) OR ((((triple9 triple8) -> rule4) triple10) -> rule2) OR ((((triple8 ((triple10 triple8) -> rule8)) -> rule3)) -> rule5))] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((((triple8 ((triple10 triple8) -> rule8)) -> rule3) ((triple10) -> rule7)) -> rule6))] Erin is round.[(triple10)] @1: Bob is nice.[(((triple1) -> rule5) OR ((triple6 triple5) -> rule2) OR ((((triple4) -> rule1) triple5) -> rule2) OR ((((triple5) -> rule7) triple5) -> rule2) OR ((((triple4 triple3) -> rule4) triple5) -> rule2))] Erin is blue.[(((triple10 triple8) -> rule8))] Erin is young.[(((triple10) -> rule7) OR ((triple9) -> rule1) OR ((triple9 triple8) -> rule4))] @2: Erin is big.[(((triple8 ((triple10 triple8) -> rule8)) -> rule3))]