Erin is blue. Erin is green. Erin is kind. Erin is smart. Erin is young. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is smart. Gary is young. If Gary is green and Gary is nice then Gary is blue. If something is young then it is nice. If Erin is smart then Erin is blue. If something is nice and green then it is cold. All nice things are young. Smart, cold things are green. Blue things are nice. Green, smart things are kind.
Erin is cold.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule3))] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple2 triple4) -> rule8))] Erin is smart.[(triple4)] Erin is young.[(triple5 OR ((((triple1) -> rule7)) -> rule5) OR ((((((triple4) -> rule3)) -> rule7)) -> rule5))] Gary is blue.[(triple6 OR ((triple8 triple10) -> rule1) OR ((triple8 ((triple12) -> rule2)) -> rule1) OR ((((triple11 triple7) -> rule6) triple10) -> rule1) OR ((((triple11 triple7) -> rule6) ((triple12) -> rule2)) -> rule1))] Gary is cold.[(triple7 OR ((triple10 triple8) -> rule4) OR ((((triple12) -> rule2) triple8) -> rule4) OR ((((triple6) -> rule7) triple8) -> rule4))] Gary is green.[(triple8 OR ((triple11 triple7) -> rule6))] Gary is kind.[(triple9 OR ((triple8 triple11) -> rule8) OR ((((triple11 triple7) -> rule6) triple11) -> rule8))] Gary is nice.[(triple10 OR ((triple12) -> rule2) OR ((triple6) -> rule7))] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule5) OR ((((triple6) -> rule7)) -> rule5))] @1: Erin is nice.[(((triple1) -> rule7) OR ((triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule7))] @2: Erin is cold.[(((((triple1) -> rule7) triple2) -> rule4) OR ((((triple5) -> rule2) triple2) -> rule4) OR ((((((triple4) -> rule3)) -> rule7) triple2) -> rule4))]