Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is round. Bob is big. Bob is kind. Bob is round. Charlie is big. Charlie is blue. Charlie is kind. Charlie is rough. Erin is kind. Erin is nice. Erin is rough. Erin is round. If something is round and blue then it is kind. Round things are blue. If Bob is red then Bob is rough. All blue things are big. If something is red then it is kind. If Bob is blue then Bob is red. If Erin is round then Erin is big. If Erin is red then Erin is blue.
Erin is not big.
@0: Anne is blue.[(triple1 OR ((triple5) -> rule2))] Anne is kind.[(triple2 OR ((triple4) -> rule5) OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Bob is big.[(triple6 OR ((((triple8) -> rule2)) -> rule4))] Bob is kind.[(triple7 OR ((triple8 ((triple8) -> rule2)) -> rule1) OR ((((((triple8) -> rule2)) -> rule6)) -> rule5))] Bob is round.[(triple8)] Charlie is big.[(triple9 OR ((triple10) -> rule4))] Charlie is blue.[(triple10)] Charlie is kind.[(triple11)] Charlie is rough.[(triple12)] Erin is kind.[(triple13 OR ((triple16 ((triple16) -> rule2)) -> rule1))] Erin is nice.[(triple14)] Erin is rough.[(triple15)] Erin is round.[(triple16)] @1: Anne is big.[(((triple1) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Bob is blue.[(((triple8) -> rule2))] Erin is big.[(((triple16) -> rule7) OR ((((triple16) -> rule2)) -> rule4))] Erin is blue.[(((triple16) -> rule2))] @2: Bob is red.[(((((triple8) -> rule2)) -> rule6))] @3: Bob is rough.[(((((((triple8) -> rule2)) -> rule6)) -> rule3))]