Bob is kind. Bob is young. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. All white, quiet things are smart. Quiet things are kind. Quiet, white things are young. If something is cold and young then it is kind. If something is cold then it is smart. Smart, quiet things are cold.
Bob is nice.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Fiona is cold.[(triple3 OR ((triple7 triple6) -> rule6) OR ((((triple8 triple6) -> rule1) triple6) -> rule6))] Fiona is kind.[(triple4 OR ((triple6) -> rule2) OR ((triple3 triple9) -> rule4) OR ((triple3 ((triple6 triple8) -> rule3)) -> rule4) OR ((((triple7 triple6) -> rule6) triple9) -> rule4) OR ((((triple7 triple6) -> rule6) ((triple6 triple8) -> rule3)) -> rule4) OR ((((((triple8 triple6) -> rule1) triple6) -> rule6) triple9) -> rule4) OR ((((((triple8 triple6) -> rule1) triple6) -> rule6) ((triple6 triple8) -> rule3)) -> rule4))] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7 OR ((triple3) -> rule5) OR ((triple8 triple6) -> rule1))] Fiona is white.[(triple8)] Fiona is young.[(triple9 OR ((triple6 triple8) -> rule3))] Gary is cold.[(triple10 OR ((triple14 triple13) -> rule6) OR ((((triple15 triple13) -> rule1) triple13) -> rule6))] Gary is kind.[(triple11 OR ((triple13) -> rule2) OR ((triple10 triple16) -> rule4) OR ((triple10 ((triple13 triple15) -> rule3)) -> rule4) OR ((((triple14 triple13) -> rule6) triple16) -> rule4) OR ((((triple14 triple13) -> rule6) ((triple13 triple15) -> rule3)) -> rule4) OR ((((((triple15 triple13) -> rule1) triple13) -> rule6) triple16) -> rule4) OR ((((((triple15 triple13) -> rule1) triple13) -> rule6) ((triple13 triple15) -> rule3)) -> rule4))] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14 OR ((triple10) -> rule5) OR ((triple15 triple13) -> rule1))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple13 triple15) -> rule3))]