Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. All smart, blue people are rough. All cold people are kind. If Fiona is white and Fiona is rough then Fiona is kind.
Fiona is cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple3) -> rule2))] Bob is rough.[(triple5 OR ((triple6 triple2) -> rule1))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11 OR ((triple10) -> rule2) OR ((triple14 triple12) -> rule3) OR ((triple14 ((triple13 triple9) -> rule1)) -> rule3))] Fiona is rough.[(triple12 OR ((triple13 triple9) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]