Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Erin is blue. Erin is cold. Erin is furry. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is young. All red, big things are blue. Furry, red things are blue. If something is big then it is red. Cold things are young. All kind things are furry. Blue things are big.
Dave is not blue.
@0: Dave is big.[(triple1 OR ((triple2) -> rule6))] Dave is blue.[(triple2 OR ((triple4 ((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule1) OR ((((triple5) -> rule5) ((triple1) -> rule3)) -> rule2))] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule5))] Dave is kind.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is young.[(triple9 OR ((triple7) -> rule4))] Gary is big.[(triple10 OR ((triple11) -> rule6) OR ((((triple13 triple14) -> rule2)) -> rule6))] Gary is blue.[(triple11 OR ((triple13 triple14) -> rule2) OR ((triple14 triple10) -> rule1) OR ((triple13 ((triple10) -> rule3)) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule1))] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is red.[(triple14 OR ((triple10) -> rule3) OR ((((triple11) -> rule6)) -> rule3))] Gary is young.[(triple15 OR ((triple12) -> rule4))] @1: Dave is red.[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Dave is young.[(((triple3) -> rule4))] Erin is big.[(((triple6) -> rule6))] @2: Erin is red.[(((((triple6) -> rule6)) -> rule3))]