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