Bob is blue. Bob is cold. Bob is red. Bob is white. Bob is young. Dave is big. Dave is not cold. Dave is red. Dave is not young. Erin is not big. Erin is blue. Erin is not cold. Erin is kind. Erin is not red. Erin is young. If Bob is blue and Bob is kind then Bob is young. Red things are kind. Young, white things are not big. If something is red then it is white. If Dave is young and Dave is not cold then Dave is kind. Big, kind things are blue.
Erin is not big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule4))] Bob is young.[(triple5 OR ((triple1 ((triple3) -> rule2)) -> rule1))] Dave is big.[(triple6)] Dave is not cold.[(triple7)] Dave is not young.[(triple9)] Dave is red.[(triple8)] Erin is blue.[(triple11)] Erin is kind.[(triple13)] Erin is not big.[(triple10)] Erin is not cold.[(triple12)] Erin is not red.[(triple14)] Erin is young.[(triple15)] @1: Bob is kind.[(((triple3) -> rule2))] Bob is not big.[(((triple5 triple4) -> rule3) OR ((triple5 ((triple3) -> rule4)) -> rule3) OR ((((triple1 ((triple3) -> rule2)) -> rule1) triple4) -> rule3) OR ((((triple1 ((triple3) -> rule2)) -> rule1) ((triple3) -> rule4)) -> rule3))] Dave is kind.[(((triple8) -> rule2))] Dave is white.[(((triple8) -> rule4))] @2: Dave is blue.[(((triple6 ((triple8) -> rule2)) -> rule6))]