Anne is big. Anne is blue. Anne is nice. Anne is rough. Anne is round. Anne is young. Bob is big. Bob is rough. Bob is round. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is round. Harry is young. Furry people are blue. If Anne is blue and Anne is furry then Anne is big. If someone is nice and blue then they are big. If someone is big and young then they are furry. All blue people are rough. All round, furry people are big.
Harry is nice.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is blue.[(triple2 OR ((((triple1 triple6) -> rule4)) -> rule1))] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple2) -> rule5) OR ((((((triple1 triple6) -> rule4)) -> rule1)) -> rule5))] Anne is round.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9)] Harry is blue.[(triple10 OR ((triple11) -> rule1))] Harry is furry.[(triple11 OR ((((triple12 triple10) -> rule3) triple15) -> rule4))] Harry is nice.[(triple12)] Harry is rough.[(triple13 OR ((triple10) -> rule5) OR ((((triple11) -> rule1)) -> rule5))] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Anne is furry.[(((triple1 triple6) -> rule4) OR ((((triple3 triple2) -> rule3) triple6) -> rule4))] Harry is big.[(((triple12 triple10) -> rule3) OR ((triple14 triple11) -> rule6) OR ((triple12 ((triple11) -> rule1)) -> rule3))]