Anne is nice. Anne is rough. Anne is smart. Fiona is big. Fiona is cold. Fiona is nice. Fiona is young. Harry is blue. Harry is cold. Harry is nice. If Anne is young and Anne is big then Anne is cold. Rough people are blue. All blue, big people are nice. All smart, cold people are blue. If Anne is cold then Anne is big. If someone is rough and blue then they are big. If someone is young then they are cold. Young people are big.
Harry is not young.
@0: Anne is nice.[(triple1 OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule3))] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4 OR ((triple7) -> rule8))] Fiona is cold.[(triple5 OR ((triple7) -> rule7))] Fiona is nice.[(triple6)] Fiona is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] @1: Anne is blue.[(((triple2) -> rule2))] @2: Anne is big.[(((triple2 ((triple2) -> rule2)) -> rule6))]