Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. Harry is white. Harry is young. Smart, nice things are cold. Quiet things are white. If something is quiet and white then it is nice.
Harry is not nice.
@0: Fiona is cold.[(triple1 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple4 triple6) -> rule3)) -> rule1) OR ((triple5 ((triple4 ((triple4) -> rule2)) -> rule3)) -> rule1))] Fiona is furry.[(triple2)] Fiona is nice.[(triple3 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule2))] Fiona is young.[(triple7)] Harry is cold.[(triple8 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple13) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((triple11) -> rule2)) -> rule3)) -> rule1))] Harry is furry.[(triple9)] Harry is nice.[(triple10 OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple11) -> rule2)) -> rule3))] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13 OR ((triple11) -> rule2))] Harry is young.[(triple14)]