Bob is big. Bob is kind. Bob is red. Bob is white. Charlie is not big. Charlie is cold. Charlie is rough. Fiona is kind. Fiona is rough. Fiona is young. Harry is cold. Harry is rough. Red, kind people are not cold. Big, red people are white. Cold, red people are not white. If Charlie is big then Charlie is white. Cold, kind people are rough. Cold people are rough. If Fiona is kind and Fiona is big then Fiona is not white. If someone is white and not young then they are not big.
Harry is kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4 OR ((triple1 triple3) -> rule2))] Charlie is cold.[(triple6)] Charlie is not big.[(triple5)] Charlie is rough.[(triple7 OR ((triple6) -> rule6))] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] Harry is cold.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule6))] @1: Bob is not cold.[(((triple3 triple2) -> rule1))]