Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. If Charlie is smart and Charlie is red then Charlie is quiet. All nice things are furry. Red, smart things are round. If Charlie is blue and Charlie is round then Charlie is nice. Quiet, round things are nice. If Charlie is round then Charlie is quiet. If Charlie is furry then Charlie is blue. If something is quiet and furry then it is blue.
Charlie is furry.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule7) OR ((triple4 triple2) -> rule8) OR ((((triple3) -> rule2)) -> rule7) OR ((triple4 ((triple3) -> rule2)) -> rule8) OR ((((triple6) -> rule6) triple2) -> rule8) OR ((((triple7 triple5) -> rule1) triple2) -> rule8) OR ((((triple6) -> rule6) ((triple3) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((triple3) -> rule2)) -> rule8) OR ((((((triple4 triple6) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((triple4 triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) triple2) -> rule8) OR ((((triple6) -> rule6) ((((triple4 triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((triple3) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((triple4 triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((triple4 triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule6) triple6) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((triple4 ((((((triple6) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((triple4 ((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((triple4 ((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((triple6) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((triple6) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((triple6) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple6) -> rule6) ((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1) ((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2)) -> rule8))] Charlie is furry.[(triple2 OR ((triple3) -> rule2) OR ((((triple1 triple6) -> rule4)) -> rule2) OR ((((triple4 triple6) -> rule5)) -> rule2) OR ((((triple1 ((triple5 triple7) -> rule3)) -> rule4)) -> rule2) OR ((((triple4 ((triple5 triple7) -> rule3)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6) triple6) -> rule5)) -> rule2) OR ((((((triple7 triple5) -> rule1) triple6) -> rule5)) -> rule2) OR ((((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5)) -> rule2) OR ((((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5)) -> rule2))] Charlie is nice.[(triple3 OR ((triple1 triple6) -> rule4) OR ((triple4 triple6) -> rule5) OR ((triple1 ((triple5 triple7) -> rule3)) -> rule4) OR ((triple4 ((triple5 triple7) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple6) -> rule4) OR ((((triple6) -> rule6) triple6) -> rule5) OR ((((triple4 triple2) -> rule8) triple6) -> rule4) OR ((((triple7 triple5) -> rule1) triple6) -> rule5) OR ((((triple2) -> rule7) ((triple5 triple7) -> rule3)) -> rule4) OR ((((triple6) -> rule6) ((triple5 triple7) -> rule3)) -> rule5) OR ((((triple4 triple2) -> rule8) ((triple5 triple7) -> rule3)) -> rule4) OR ((((triple7 triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule5) OR ((((((triple5 triple7) -> rule3)) -> rule6) triple6) -> rule5) OR ((((((triple6) -> rule6) triple2) -> rule8) triple6) -> rule4) OR ((((((triple7 triple5) -> rule1) triple2) -> rule8) triple6) -> rule4) OR ((((((triple5 triple7) -> rule3)) -> rule6) ((triple5 triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule6) triple2) -> rule8) ((triple5 triple7) -> rule3)) -> rule4) OR ((((((triple7 triple5) -> rule1) triple2) -> rule8) ((triple5 triple7) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule3)) -> rule6) triple2) -> rule8) triple6) -> rule4) OR ((((((((triple5 triple7) -> rule3)) -> rule6) triple2) -> rule8) ((triple5 triple7) -> rule3)) -> rule4))] Charlie is quiet.[(triple4 OR ((triple6) -> rule6) OR ((triple7 triple5) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule6))] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple5 triple7) -> rule3))] Charlie is smart.[(triple7)]