Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Bob is furry. Bob is nice. Bob is quiet. Charlie is big. Charlie is kind. Charlie is quiet. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is white. If something is big and kind then it is round. If something is white and quiet then it is nice. Furry, quiet things are big. If something is furry then it is round. If something is kind and nice then it is furry. If something is kind then it is white. All kind things are round. If something is nice and big then it is round.
Charlie is not nice.
@0: Anne is furry.[(triple1 OR ((triple2 triple3) -> rule5) OR ((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((((triple2) -> rule6) triple4) -> rule2))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule4) OR ((triple2) -> rule7) OR ((((triple2 triple3) -> rule5)) -> rule4) OR ((triple3 ((triple1 triple4) -> rule3)) -> rule8) OR ((((triple1 triple4) -> rule3) triple2) -> rule1) OR ((triple3 ((((triple2 triple3) -> rule5) triple4) -> rule3)) -> rule8) OR ((((((triple2 triple3) -> rule5) triple4) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule6) triple4) -> rule2) ((triple1 triple4) -> rule3)) -> rule8) OR ((((((triple2) -> rule6) triple4) -> rule2) ((((triple2 triple3) -> rule5) triple4) -> rule3)) -> rule8) OR ((((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5)) -> rule4) OR ((triple3 ((((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5) triple4) -> rule3)) -> rule8) OR ((((((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5) triple4) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule6) triple4) -> rule2) ((((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5) triple4) -> rule3)) -> rule8))] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Charlie is big.[(triple9 OR ((((triple10 ((((triple10) -> rule6) triple11) -> rule2)) -> rule5) triple11) -> rule3))] Charlie is kind.[(triple10)] Charlie is quiet.[(triple11)] Harry is big.[(triple12 OR ((triple13 triple15) -> rule3))] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple16 triple15) -> rule2))] Harry is quiet.[(triple15)] Harry is white.[(triple16)] @1: Anne is big.[(((triple1 triple4) -> rule3) OR ((((triple2 triple3) -> rule5) triple4) -> rule3) OR ((((triple2 ((((triple2) -> rule6) triple4) -> rule2)) -> rule5) triple4) -> rule3))] Anne is white.[(((triple2) -> rule6))] Bob is big.[(((triple6 triple8) -> rule3))] Bob is round.[(((triple6) -> rule4) OR ((triple7 ((triple6 triple8) -> rule3)) -> rule8))] Charlie is round.[(((triple10) -> rule7) OR ((triple9 triple10) -> rule1) OR ((((((triple10) -> rule6) triple11) -> rule2) triple9) -> rule8) OR ((((triple10 ((((triple10) -> rule6) triple11) -> rule2)) -> rule5)) -> rule4) OR ((((((triple10 ((((triple10) -> rule6) triple11) -> rule2)) -> rule5) triple11) -> rule3) triple10) -> rule1) OR ((((((triple10) -> rule6) triple11) -> rule2) ((((triple10 ((((triple10) -> rule6) triple11) -> rule2)) -> rule5) triple11) -> rule3)) -> rule8))] Charlie is white.[(((triple10) -> rule6))] Harry is round.[(((triple13) -> rule4) OR ((triple14 triple12) -> rule8) OR ((triple14 ((triple13 triple15) -> rule3)) -> rule8) OR ((((triple16 triple15) -> rule2) triple12) -> rule8) OR ((((triple16 triple15) -> rule2) ((triple13 triple15) -> rule3)) -> rule8))] @2: Charlie is nice.[(((((triple10) -> rule6) triple11) -> rule2))] @3: Charlie is furry.[(((triple10 ((((triple10) -> rule6) triple11) -> rule2)) -> rule5))]