Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Bob is big. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Dave is big. Dave is furry. Dave is red. Dave is rough. Harry is furry. Harry is kind. If Dave is quiet and Dave is furry then Dave is big. Young, red people are rough. Big, red people are quiet. If someone is big and young then they are red. If someone is big then they are quiet. Kind people are young.
Harry is not rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule5) OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule3))] Anne is red.[(triple5 OR ((triple1 ((triple3) -> rule6)) -> rule4))] Bob is big.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8 OR ((triple6) -> rule5) OR ((triple6 ((triple6 triple10) -> rule4)) -> rule3) OR ((triple6 ((triple6 ((triple7) -> rule6)) -> rule4)) -> rule3))] Bob is rough.[(triple9 OR ((triple10 ((triple6 triple10) -> rule4)) -> rule2) OR ((((triple7) -> rule6) ((triple6 triple10) -> rule4)) -> rule2) OR ((triple10 ((triple6 ((triple7) -> rule6)) -> rule4)) -> rule2) OR ((((triple7) -> rule6) ((triple6 ((triple7) -> rule6)) -> rule4)) -> rule2))] Bob is young.[(triple10 OR ((triple7) -> rule6))] Dave is big.[(triple11)] Dave is furry.[(triple12)] Dave is red.[(triple13)] Dave is rough.[(triple14)] Harry is furry.[(triple15)] Harry is kind.[(triple16)] @1: Anne is young.[(((triple3) -> rule6))] Bob is red.[(((triple6 triple10) -> rule4) OR ((triple6 ((triple7) -> rule6)) -> rule4))] Dave is quiet.[(((triple11) -> rule5) OR ((triple11 triple13) -> rule3))] Harry is young.[(((triple16) -> rule6))] @2: Anne is rough.[(((((triple3) -> rule6) triple5) -> rule2) OR ((((triple3) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule2))]