Bob is big. Bob is cold. Bob is furry. Bob is green. Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Harry is cold. Harry is green. All green, quiet things are furry. Rough, nice things are cold. If something is nice and green then it is furry. If something is rough and big then it is quiet. If something is nice then it is cold. If Fiona is big and Fiona is rough then Fiona is cold. If something is big and green then it is nice. Quiet things are green.
Fiona is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((((triple1 triple4) -> rule7)) -> rule5))] Bob is furry.[(triple3 OR ((((triple1 triple4) -> rule7) triple4) -> rule3))] Bob is green.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple8) -> rule5))] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Bob is nice.[(((triple1 triple4) -> rule7))]