Bob is cold. Bob is furry. Bob is kind. Bob is white. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is white. All cold, kind things are white. Red, kind things are cold. Rough things are red. If Fiona is big and Fiona is white then Fiona is furry. Rough, kind things are big. Big, furry things are cold.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4 OR ((triple1 triple3) -> rule1))] Fiona is big.[(triple5 OR ((triple9 triple7) -> rule5))] Fiona is cold.[(triple6 OR ((triple8 triple7) -> rule2) OR ((((triple9) -> rule3) triple7) -> rule2))] Fiona is kind.[(triple7)] Fiona is red.[(triple8 OR ((triple9) -> rule3))] Fiona is rough.[(triple9)] Gary is big.[(triple10 OR ((triple15 triple13) -> rule5))] Gary is cold.[(triple11 OR ((triple10 triple12) -> rule6) OR ((triple14 triple13) -> rule2) OR ((((triple15) -> rule3) triple13) -> rule2) OR ((((triple15 triple13) -> rule5) triple12) -> rule6))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule3))] Gary is rough.[(triple15)] Gary is white.[(triple16 OR ((triple11 triple13) -> rule1) OR ((((triple10 triple12) -> rule6) triple13) -> rule1) OR ((((triple14 triple13) -> rule2) triple13) -> rule1) OR ((((((triple15) -> rule3) triple13) -> rule2) triple13) -> rule1) OR ((((((triple15 triple13) -> rule5) triple12) -> rule6) triple13) -> rule1))] @1: Fiona is white.[(((triple6 triple7) -> rule1) OR ((((triple8 triple7) -> rule2) triple7) -> rule1) OR ((((((triple9) -> rule3) triple7) -> rule2) triple7) -> rule1))] @2: Fiona is furry.[(((triple5 ((triple6 triple7) -> rule1)) -> rule4) OR ((((triple9 triple7) -> rule5) ((triple6 triple7) -> rule1)) -> rule4) OR ((triple5 ((((triple8 triple7) -> rule2) triple7) -> rule1)) -> rule4) OR ((((triple9 triple7) -> rule5) ((((triple8 triple7) -> rule2) triple7) -> rule1)) -> rule4) OR ((triple5 ((((((triple9) -> rule3) triple7) -> rule2) triple7) -> rule1)) -> rule4) OR ((((triple9 triple7) -> rule5) ((((((triple9) -> rule3) triple7) -> rule2) triple7) -> rule1)) -> rule4))]