Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Fiona is big. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is rough. Gary is white. Blue people are cold. Rough, big people are blue. If someone is white then they are big. White people are cold. All big, rough people are kind. All cold, white people are smart.
Fiona is not rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple5 triple1) -> rule2))] Bob is cold.[(triple3 OR ((triple2) -> rule1) OR ((((triple5 triple1) -> rule2)) -> rule1))] Bob is kind.[(triple4 OR ((triple1 triple5) -> rule5))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Fiona is big.[(triple7 OR ((triple11) -> rule3))] Fiona is kind.[(triple8 OR ((triple7 triple9) -> rule5) OR ((((triple11) -> rule3) triple9) -> rule5))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10 OR ((((triple11) -> rule4) triple11) -> rule6) OR ((((((triple9 triple7) -> rule2)) -> rule1) triple11) -> rule6) OR ((((((triple9 ((triple11) -> rule3)) -> rule2)) -> rule1) triple11) -> rule6))] Fiona is white.[(triple11)] Gary is big.[(triple12 OR ((triple15) -> rule3))] Gary is cold.[(triple13 OR ((triple15) -> rule4) OR ((((triple14 triple12) -> rule2)) -> rule1) OR ((((triple14 ((triple15) -> rule3)) -> rule2)) -> rule1))] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Fiona is blue.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple11) -> rule3)) -> rule2))] Fiona is cold.[(((triple11) -> rule4) OR ((((triple9 triple7) -> rule2)) -> rule1) OR ((((triple9 ((triple11) -> rule3)) -> rule2)) -> rule1))] Gary is blue.[(((triple14 triple12) -> rule2) OR ((triple14 ((triple15) -> rule3)) -> rule2))] Gary is kind.[(((triple12 triple14) -> rule5) OR ((((triple15) -> rule3) triple14) -> rule5))] Gary is smart.[(((triple13 triple15) -> rule6) OR ((((triple15) -> rule4) triple15) -> rule6) OR ((((((triple14 triple12) -> rule2)) -> rule1) triple15) -> rule6) OR ((((((triple14 ((triple15) -> rule3)) -> rule2)) -> rule1) triple15) -> rule6))]