Fiona is big. Fiona is blue. Fiona is not cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. Gary is big. Gary is green. Harry is big. Harry is blue. Harry is not cold. Harry is not kind. Harry is smart. Harry is white. If someone is green then they are blue. If Fiona is white and Fiona is big then Fiona is smart. Blue people are white. If someone is big and not white then they are not cold. If someone is big and not green then they are not cold. If someone is cold and not big then they are kind.
Fiona is big.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple4) -> rule1))] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is not cold.[(triple3)] Fiona is smart.[(triple6 OR ((triple7 triple1) -> rule2) OR ((((triple2) -> rule3) triple1) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) triple1) -> rule2))] Fiona is white.[(triple7 OR ((triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Gary is big.[(triple8)] Gary is green.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is not cold.[(triple12)] Harry is not kind.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple11) -> rule3))] @1: Gary is blue.[(((triple9) -> rule1))] @2: Gary is white.[(((((triple9) -> rule1)) -> rule3))]