Anne is kind. Anne is quiet. Anne is round. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. If Erin is quiet then Erin is nice. Kind, red things are green. If something is nice then it is red. All green, kind things are big. All red things are nice. If something is kind then it is nice.
Anne is green.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Erin is big.[(triple4 OR ((((triple5 ((triple6) -> rule3)) -> rule2) triple5) -> rule4) OR ((((triple5 ((((triple5) -> rule6)) -> rule3)) -> rule2) triple5) -> rule4) OR ((((triple5 ((((triple7) -> rule1)) -> rule3)) -> rule2) triple5) -> rule4))] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple5) -> rule6) OR ((triple7) -> rule1))] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Gary is big.[(triple9 OR ((triple10 triple11) -> rule4) OR ((((triple11 triple14) -> rule2) triple11) -> rule4) OR ((((triple11 ((triple12) -> rule3)) -> rule2) triple11) -> rule4) OR ((((triple11 ((((triple11) -> rule6)) -> rule3)) -> rule2) triple11) -> rule4))] Gary is green.[(triple10 OR ((triple11 triple14) -> rule2) OR ((triple11 ((triple12) -> rule3)) -> rule2) OR ((triple11 ((((triple11) -> rule6)) -> rule3)) -> rule2))] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple11) -> rule6) OR ((triple14) -> rule5))] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple12) -> rule3) OR ((((triple11) -> rule6)) -> rule3))] Gary is round.[(triple15)] @1: Anne is nice.[(((triple1) -> rule6))] Erin is red.[(((triple6) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule3))] Erin is green.[(((triple5 ((triple6) -> rule3)) -> rule2) OR ((triple5 ((((triple5) -> rule6)) -> rule3)) -> rule2) OR ((triple5 ((((triple7) -> rule1)) -> rule3)) -> rule2))] @3: Anne is green.[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule2))] @4: Anne is big.[(((((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule2) triple1) -> rule4))]