Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is big. Gary is blue. Gary is cold. If something is big and blue then it is nice. If Bob is cold then Bob is quiet. If Gary is cold and Gary is blue then Gary is furry. Quiet, cold things are nice. If Gary is nice then Gary is furry. Cold things are smart. All cold, nice things are furry. Blue, cold things are furry.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple7 triple8) -> rule8) OR ((triple8 triple10) -> rule7) OR ((triple8 ((triple11 triple8) -> rule4)) -> rule7) OR ((triple8 ((triple6 triple7) -> rule1)) -> rule7))] Fiona is nice.[(triple10 OR ((triple11 triple8) -> rule4) OR ((triple6 triple7) -> rule1))] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12 OR ((triple8) -> rule6))] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15)] @1: Gary is furry.[(((triple14 triple15) -> rule8) OR ((triple15 triple14) -> rule3) OR ((((triple13 triple14) -> rule1)) -> rule5) OR ((triple15 ((triple13 triple14) -> rule1)) -> rule7))] Gary is nice.[(((triple13 triple14) -> rule1))] Gary is smart.[(((triple15) -> rule6))]