Anne is cold. Anne is green. Anne is quiet. Erin is cold. Erin is rough. Erin is white. Gary is big. If Gary is quiet and Gary is green then Gary is cold. If something is cold and quiet then it is green. All big, white things are green. Green, cold things are quiet. If something is rough and blue then it is cold. Rough things are big. Big things are white. Green things are quiet.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple3) -> rule2))] Anne is quiet.[(triple3 OR ((triple2) -> rule8) OR ((triple2 triple1) -> rule4))] Erin is cold.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((((triple5) -> rule6)) -> rule7))] Gary is big.[(triple7)] @1: Erin is big.[(((triple5) -> rule6))] Gary is white.[(((triple7) -> rule7))] @2: Erin is green.[(((((triple5) -> rule6) triple6) -> rule3) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule7)) -> rule3))] Gary is green.[(((triple7 ((triple7) -> rule7)) -> rule3))] @3: Erin is quiet.[(((((((triple5) -> rule6) triple6) -> rule3)) -> rule8) OR ((((((triple5) -> rule6) triple6) -> rule3) triple4) -> rule4) OR ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule7)) -> rule3) triple4) -> rule4))] Gary is quiet.[(((((triple7 ((triple7) -> rule7)) -> rule3)) -> rule8))] @4: Gary is cold.[(((((((triple7 ((triple7) -> rule7)) -> rule3)) -> rule8) ((triple7 ((triple7) -> rule7)) -> rule3)) -> rule1))]