Bob is furry. Bob is kind. Bob is red. Bob is smart. Dave is not blue. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. Gary is blue. Gary is green. Gary is kind. Gary is smart. If someone is kind and red then they are cold. If Gary is kind then Gary is smart. If someone is kind and blue then they are smart. Blue people are furry. If someone is smart then they are red. If Bob is smart and Bob is not red then Bob is green.
Gary is cold.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple4) -> rule5))] Bob is smart.[(triple4)] Dave is cold.[(triple6 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple11) -> rule5)) -> rule1))] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is not blue.[(triple5)] Dave is red.[(triple10 OR ((triple11) -> rule5))] Dave is smart.[(triple11)] Gary is blue.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is smart.[(triple15 OR ((triple14) -> rule2) OR ((triple14 triple12) -> rule3))] @1: Bob is cold.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple4) -> rule5)) -> rule1))] Gary is furry.[(((triple12) -> rule4))] Gary is red.[(((triple15) -> rule5) OR ((((triple14) -> rule2)) -> rule5) OR ((((triple14 triple12) -> rule3)) -> rule5))] @2: Gary is cold.[(((triple14 ((triple15) -> rule5)) -> rule1) OR ((triple14 ((((triple14) -> rule2)) -> rule5)) -> rule1) OR ((triple14 ((((triple14 triple12) -> rule3)) -> rule5)) -> rule1))]