Bob is green. Bob is not nice. Bob is quiet. Bob is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is round. Fiona is smart. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is not smart. If something is nice and big then it is not smart. All cold, big things are quiet. All green things are quiet. Smart, green things are round. If something is cold then it is green. If something is round and not smart then it is green.
Bob is not cold.
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple1) -> rule3))] Bob is round.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7 OR ((triple6) -> rule5))] Fiona is round.[(triple8 OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple6) -> rule5)) -> rule4))] Fiona is smart.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] Harry is not smart.[(triple15 OR ((triple12 triple10) -> rule1))] Harry is quiet.[(triple13 OR ((triple11 triple10) -> rule2) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple14 triple15) -> rule6)) -> rule3) OR ((((triple14 ((triple12 triple10) -> rule1)) -> rule6)) -> rule3))] Harry is round.[(triple14)] @1: Fiona is quiet.[(((triple7) -> rule3) OR ((triple6 triple5) -> rule2) OR ((((triple6) -> rule5)) -> rule3))] Harry is green.[(((triple11) -> rule5) OR ((triple14 triple15) -> rule6) OR ((triple14 ((triple12 triple10) -> rule1)) -> rule6))]