Anne is big. Bob is furry. Bob is green. Bob is red. Bob is round. Charlie is furry. Charlie is green. Quiet things are kind. If something is quiet then it is furry. If something is big then it is red. All kind, big things are round. Quiet things are big. If something is round then it is furry. All furry, green things are quiet. If something is round then it is red.
Bob is not furry.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule6))] Bob is green.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule8) OR ((((((triple2 triple3) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6) triple3) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple2 triple3) -> rule7)) -> rule1) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule4)) -> rule8))] Bob is round.[(triple5 OR ((((((triple2 triple3) -> rule7)) -> rule1) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule4))] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] @1: Anne is red.[(((triple1) -> rule3))] Bob is quiet.[(((triple2 triple3) -> rule7) OR ((((triple5) -> rule6) triple3) -> rule7))] Charlie is quiet.[(((triple6 triple7) -> rule7))] @2: Bob is big.[(((((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple5) -> rule6) triple3) -> rule7)) -> rule5))] Bob is kind.[(((((triple2 triple3) -> rule7)) -> rule1) OR ((((((triple5) -> rule6) triple3) -> rule7)) -> rule1))] Charlie is big.[(((((triple6 triple7) -> rule7)) -> rule5))] Charlie is kind.[(((((triple6 triple7) -> rule7)) -> rule1))] @3: Charlie is red.[(((((((triple6 triple7) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple6 triple7) -> rule7)) -> rule1) ((((triple6 triple7) -> rule7)) -> rule5)) -> rule4)) -> rule8))] Charlie is round.[(((((((triple6 triple7) -> rule7)) -> rule1) ((((triple6 triple7) -> rule7)) -> rule5)) -> rule4))]