Charlie is red. Charlie is young. Erin is blue. Erin is cold. Erin is rough. Erin is young. Gary is blue. Gary is red. Gary is white. Gary is young. Cold things are red. If something is young and white then it is smart. If something is white then it is red. If Charlie is cold then Charlie is young. Young things are red. If Gary is red and Gary is rough then Gary is white. All red things are white. If something is young and smart then it is blue.
Erin is not rough.
@0: Charlie is red.[(triple1 OR ((triple2) -> rule5))] Charlie is young.[(triple2)] Erin is blue.[(triple3 OR ((triple6 ((triple6 ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule8) OR ((triple6 ((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule2)) -> rule8))] Erin is cold.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Gary is blue.[(triple7 OR ((triple10 ((triple10 triple9) -> rule2)) -> rule8) OR ((triple10 ((triple10 ((triple8) -> rule7)) -> rule2)) -> rule8) OR ((triple10 ((triple10 ((((triple10) -> rule5)) -> rule7)) -> rule2)) -> rule8))] Gary is red.[(triple8 OR ((triple10) -> rule5) OR ((triple9) -> rule3))] Gary is white.[(triple9 OR ((triple8) -> rule7) OR ((((triple10) -> rule5)) -> rule7))] Gary is young.[(triple10)] @1: Charlie is white.[(((triple1) -> rule7) OR ((((triple2) -> rule5)) -> rule7))] Erin is red.[(((triple4) -> rule1) OR ((triple6) -> rule5))] Gary is smart.[(((triple10 triple9) -> rule2) OR ((triple10 ((triple8) -> rule7)) -> rule2) OR ((triple10 ((((triple10) -> rule5)) -> rule7)) -> rule2))] @2: Charlie is smart.[(((triple2 ((triple1) -> rule7)) -> rule2) OR ((triple2 ((((triple2) -> rule5)) -> rule7)) -> rule2))] Erin is white.[(((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] @3: Charlie is blue.[(((triple2 ((triple2 ((triple1) -> rule7)) -> rule2)) -> rule8) OR ((triple2 ((triple2 ((((triple2) -> rule5)) -> rule7)) -> rule2)) -> rule8))] Erin is smart.[(((triple6 ((((triple4) -> rule1)) -> rule7)) -> rule2) OR ((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule2))]