Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is white. Charlie is big. Charlie is blue. Charlie is rough. Charlie is white. Dave is blue. Dave is cold. Dave is nice. Dave is rough. Dave is white. Harry is nice. Harry is quiet. If something is blue and rough then it is nice. If Anne is blue and Anne is big then Anne is rough. Blue, nice things are rough. Nice, big things are rough. If something is quiet and big then it is nice. Big, nice things are white. Cold things are big. If Anne is white and Anne is quiet then Anne is nice.
Dave is quiet.
@0: Anne is big.[(triple1 OR ((triple3) -> rule7))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4 OR ((triple2 ((triple2 triple1) -> rule2)) -> rule1) OR ((triple2 ((triple2 ((triple3) -> rule7)) -> rule2)) -> rule1))] Anne is white.[(triple5 OR ((triple1 triple4) -> rule6) OR ((((triple3) -> rule7) triple4) -> rule6) OR ((triple1 ((triple2 ((triple2 triple1) -> rule2)) -> rule1)) -> rule6) OR ((((triple3) -> rule7) ((triple2 ((triple2 triple1) -> rule2)) -> rule1)) -> rule6) OR ((triple1 ((triple2 ((triple2 ((triple3) -> rule7)) -> rule2)) -> rule1)) -> rule6) OR ((((triple3) -> rule7) ((triple2 ((triple2 ((triple3) -> rule7)) -> rule2)) -> rule1)) -> rule6))] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9 OR ((triple6 ((triple7 triple8) -> rule1)) -> rule6))] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is nice.[(triple12 OR ((triple10 triple13) -> rule1))] Dave is rough.[(triple13 OR ((triple10 triple12) -> rule3) OR ((triple12 ((triple11) -> rule7)) -> rule4))] Dave is white.[(triple14 OR ((((triple11) -> rule7) triple12) -> rule6) OR ((((triple11) -> rule7) ((triple10 triple13) -> rule1)) -> rule6))] Harry is nice.[(triple15)] Harry is quiet.[(triple16)] @1: Anne is rough.[(((triple2 triple1) -> rule2) OR ((triple2 triple4) -> rule3) OR ((triple4 triple1) -> rule4) OR ((triple2 ((triple3) -> rule7)) -> rule2) OR ((triple4 ((triple3) -> rule7)) -> rule4))] Charlie is nice.[(((triple7 triple8) -> rule1))] Dave is big.[(((triple11) -> rule7))]