Bob is cold. Bob is furry. Bob is green. Bob is red. Dave is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is rough. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is not red. Gary is not round. Red people are not big. If someone is big and not red then they are rough. All red people are not rough. If someone is round and not big then they are rough. If Gary is green and Gary is rough then Gary is not round. If someone is cold then they are not round. If Dave is rough and Dave is not big then Dave is cold. If Dave is red then Dave is not cold.
Dave is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Dave is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is rough.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is not red.[(triple14)] Gary is not round.[(triple15 OR ((triple11) -> rule6) OR ((triple13 ((triple10 triple14) -> rule2)) -> rule5))] @1: Bob is not big.[(((triple4) -> rule1))] Bob is not rough.[(((triple4) -> rule3))] Bob is not round.[(((triple1) -> rule6))] Gary is rough.[(((triple10 triple14) -> rule2))]