Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is red. Erin is big. Erin is quiet. Gary is blue. Gary is kind. Gary is red. Harry is cold. Harry is red. All green people are cold. All big, red people are blue. If someone is green and not big then they are red. Kind people are red. All quiet people are red. If Harry is cold then Harry is kind. All cold people are green. If Dave is blue then Dave is cold.
Gary is blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple4) -> rule5)) -> rule2))] Dave is green.[(triple3 OR ((((triple2) -> rule8)) -> rule7) OR ((((((triple1 triple5) -> rule2)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule7))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple4) -> rule5))] Erin is big.[(triple6)] Erin is quiet.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10 OR ((triple9) -> rule4))] Harry is cold.[(triple11)] Harry is red.[(triple12 OR ((((triple11) -> rule6)) -> rule4))] @1: Dave is cold.[(((triple2) -> rule8) OR ((triple3) -> rule1) OR ((((triple1 triple5) -> rule2)) -> rule8) OR ((((triple1 ((triple4) -> rule5)) -> rule2)) -> rule8))] Erin is red.[(((triple7) -> rule5))] Harry is green.[(((triple11) -> rule7))] Harry is kind.[(((triple11) -> rule6))] @2: Erin is blue.[(((triple6 ((triple7) -> rule5)) -> rule2))]