Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Erin is blue. Erin is cold. Erin is furry. Erin is rough. If something is round and smart then it is cold. If Erin is blue and Erin is rough then Erin is round. If something is round and cold then it is blue. All nice, smart things are blue. Cold, blue things are round. All round things are smart. All rough things are furry. Rough things are cold.
Charlie is not rough.
@0: Charlie is blue.[(triple1 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple5) -> rule6)) -> rule4) OR ((triple5 ((triple4) -> rule8)) -> rule3) OR ((triple5 ((triple5 triple6) -> rule1)) -> rule3) OR ((triple5 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3))] Charlie is furry.[(triple2 OR ((triple4) -> rule7))] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((((triple4) -> rule8) triple1) -> rule5) OR ((((triple4) -> rule8) ((triple3 triple6) -> rule4)) -> rule5))] Charlie is smart.[(triple6 OR ((triple5) -> rule6) OR ((((((triple4) -> rule8) triple1) -> rule5)) -> rule6))] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule8) OR ((((triple7 triple10) -> rule2) ((((triple7 triple10) -> rule2)) -> rule6)) -> rule1))] Erin is furry.[(triple9 OR ((triple10) -> rule7))] Erin is rough.[(triple10)] @1: Charlie is cold.[(((triple4) -> rule8) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple5) -> rule6)) -> rule1))] Erin is round.[(((triple7 triple10) -> rule2) OR ((triple8 triple7) -> rule5) OR ((((triple10) -> rule8) triple7) -> rule5))] @2: Erin is smart.[(((((triple7 triple10) -> rule2)) -> rule6) OR ((((triple8 triple7) -> rule5)) -> rule6) OR ((((((triple10) -> rule8) triple7) -> rule5)) -> rule6))]