Dave is nice. Dave is smart. Dave is young. Erin is cold. Erin is nice. Erin is not red. Erin is round. Erin is young. Gary is cold. Gary is not kind. Gary is nice. Gary is not red. Gary is round. Gary is smart. Gary is not young. If something is kind then it is round. All round things are cold. Kind things are cold. If something is red and young then it is kind. All young, cold things are nice. If Gary is cold then Gary is not kind. Young, smart things are red. If Erin is smart and Erin is not round then Erin is not nice.
Dave is kind.
@0: Dave is nice.[(triple1 OR ((triple3 ((((((triple3 triple2) -> rule7) triple3) -> rule4)) -> rule3)) -> rule5) OR ((triple3 ((((((((triple3 triple2) -> rule7) triple3) -> rule4)) -> rule1)) -> rule2)) -> rule5))] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4 OR ((triple7) -> rule2))] Erin is nice.[(triple5 OR ((triple8 triple4) -> rule5) OR ((triple8 ((triple7) -> rule2)) -> rule5))] Erin is not red.[(triple6)] Erin is round.[(triple7)] Erin is young.[(triple8)] Gary is cold.[(triple9 OR ((triple13) -> rule2))] Gary is nice.[(triple11)] Gary is not kind.[(triple10 OR ((triple9) -> rule6) OR ((((triple13) -> rule2)) -> rule6))] Gary is not red.[(triple12)] Gary is not young.[(triple15)] Gary is round.[(triple13)] Gary is smart.[(triple14)] @1: Dave is red.[(((triple3 triple2) -> rule7))] @2: Dave is kind.[(((((triple3 triple2) -> rule7) triple3) -> rule4))] @3: Dave is cold.[(((((((triple3 triple2) -> rule7) triple3) -> rule4)) -> rule3) OR ((((((((triple3 triple2) -> rule7) triple3) -> rule4)) -> rule1)) -> rule2))] Dave is round.[(((((((triple3 triple2) -> rule7) triple3) -> rule4)) -> rule1))]