Anne is big. Dave is big. Dave is blue. Dave is green. Dave is round. Dave is smart. Gary is round. Gary is smart. Harry is big. Harry is cold. Harry is green. Harry is red. All red, cold people are green. Cold people are blue. All big, cold people are smart. Smart people are big. All big people are green. All big people are smart. If someone is blue then they are red. If Gary is green and Gary is smart then Gary is cold. Cold, red people are big.
Gary is not red.
@0: Anne is big.[(triple1)] Dave is big.[(triple2 OR ((triple6) -> rule4))] Dave is blue.[(triple3)] Dave is green.[(triple4 OR ((triple2) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2) -> rule6))] Gary is round.[(triple7)] Gary is smart.[(triple8)] Harry is big.[(triple9 OR ((triple10 triple12) -> rule9) OR ((triple10 ((((triple10) -> rule2)) -> rule7)) -> rule9))] Harry is cold.[(triple10)] Harry is green.[(triple11 OR ((triple9) -> rule5) OR ((triple12 triple10) -> rule1) OR ((((triple10 triple12) -> rule9)) -> rule5) OR ((((((triple10) -> rule2)) -> rule7) triple10) -> rule1) OR ((((triple10 ((((triple10) -> rule2)) -> rule7)) -> rule9)) -> rule5))] Harry is red.[(triple12 OR ((((triple10) -> rule2)) -> rule7))] @1: Anne is green.[(((triple1) -> rule5))] Anne is smart.[(((triple1) -> rule6))] Dave is red.[(((triple3) -> rule7))] Gary is big.[(((triple8) -> rule4))] Harry is blue.[(((triple10) -> rule2))] Harry is smart.[(((triple9) -> rule6) OR ((triple9 triple10) -> rule3) OR ((((triple10 triple12) -> rule9)) -> rule6) OR ((((triple10 triple12) -> rule9) triple10) -> rule3) OR ((((triple10 ((((triple10) -> rule2)) -> rule7)) -> rule9)) -> rule6) OR ((((triple10 ((((triple10) -> rule2)) -> rule7)) -> rule9) triple10) -> rule3))] @2: Gary is green.[(((((triple8) -> rule4)) -> rule5))] @3: Gary is cold.[(((((((triple8) -> rule4)) -> rule5) triple8) -> rule8))] @4: Gary is blue.[(((((((((triple8) -> rule4)) -> rule5) triple8) -> rule8)) -> rule2))] @5: Gary is red.[(((((((((((triple8) -> rule4)) -> rule5) triple8) -> rule8)) -> rule2)) -> rule7))]