Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is white. Dave is young. Erin is smart. Gary is blue. Gary is smart. Harry is kind. Cold, big things are young. If something is young and smart then it is kind. All cold things are blue. If something is kind and big then it is smart. All kind things are white. If something is blue then it is cold. Blue, smart things are white. Young things are white.
Erin is not blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule3))] Dave is cold.[(triple3 OR ((triple2) -> rule6))] Dave is kind.[(triple4)] Dave is white.[(triple5 OR ((triple4) -> rule5) OR ((triple6) -> rule8) OR ((((triple3 triple1) -> rule1)) -> rule8) OR ((triple2 ((triple4 triple1) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((triple4 triple1) -> rule4)) -> rule7) OR ((((((triple2) -> rule6) triple1) -> rule1)) -> rule8))] Dave is young.[(triple6 OR ((triple3 triple1) -> rule1) OR ((((triple2) -> rule6) triple1) -> rule1))] Erin is smart.[(triple7)] Gary is blue.[(triple8)] Gary is smart.[(triple9)] Harry is kind.[(triple10)] @1: Dave is smart.[(((triple4 triple1) -> rule4))] Gary is cold.[(((triple8) -> rule6))] Gary is white.[(((triple8 triple9) -> rule7))] Harry is white.[(((triple10) -> rule5))]