Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Erin is blue. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is smart. All rough, round things are smart. Smart, red things are rough. Rough, kind things are furry. All blue things are kind. All smart things are kind. If Charlie is smart and Charlie is kind then Charlie is blue. If something is smart and round then it is rough. Kind things are smart.
Erin is round.
@0: Charlie is blue.[(triple1 OR ((((triple3) -> rule8) triple3) -> rule6) OR ((((triple5 triple6) -> rule1) triple3) -> rule6) OR ((((triple3) -> rule8) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule6) OR ((((triple5 triple6) -> rule1) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule6))] Charlie is furry.[(triple2 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple1) -> rule4)) -> rule3) OR ((triple5 ((((triple5 triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule8) triple6) -> rule7) triple3) -> rule3) OR ((((((triple3) -> rule8) triple4) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((((triple3) -> rule8) triple6) -> rule7) ((triple1) -> rule4)) -> rule3) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple3) -> rule8) triple6) -> rule7) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple4) -> rule2) triple3) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple6) -> rule7) triple3) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple4) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple6) -> rule7) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple4) -> rule2) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule8) triple6) -> rule7) ((((triple5 triple6) -> rule1)) -> rule5)) -> rule3))] Charlie is kind.[(triple3 OR ((triple1) -> rule4) OR ((((triple5 triple6) -> rule1)) -> rule5))] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((((triple3) -> rule8) triple4) -> rule2) OR ((((triple3) -> rule8) triple6) -> rule7) OR ((((((triple1) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((triple1) -> rule4)) -> rule8) triple6) -> rule7))] Charlie is round.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8 OR ((triple12) -> rule5) OR ((triple7) -> rule4) OR ((((triple10 triple11) -> rule1)) -> rule5))] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple12 triple11) -> rule7) OR ((triple12 triple9) -> rule2) OR ((((triple8) -> rule8) triple11) -> rule7) OR ((((triple8) -> rule8) triple9) -> rule2) OR ((((((triple7) -> rule4)) -> rule8) triple11) -> rule7) OR ((((((triple7) -> rule4)) -> rule8) triple9) -> rule2))] Erin is round.[(triple11)] Erin is smart.[(triple12 OR ((triple8) -> rule8) OR ((triple10 triple11) -> rule1) OR ((((triple7) -> rule4)) -> rule8))] @1: Charlie is smart.[(((triple3) -> rule8) OR ((triple5 triple6) -> rule1) OR ((((triple1) -> rule4)) -> rule8))] Erin is furry.[(((triple10 triple8) -> rule3) OR ((triple10 ((triple12) -> rule5)) -> rule3) OR ((triple10 ((triple7) -> rule4)) -> rule3) OR ((((triple12 triple11) -> rule7) triple8) -> rule3) OR ((((triple12 triple9) -> rule2) triple8) -> rule3) OR ((((triple12 triple11) -> rule7) ((triple12) -> rule5)) -> rule3) OR ((((triple12 triple11) -> rule7) ((triple7) -> rule4)) -> rule3) OR ((((triple12 triple9) -> rule2) ((triple12) -> rule5)) -> rule3) OR ((((triple12 triple9) -> rule2) ((triple7) -> rule4)) -> rule3) OR ((triple10 ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule8) triple11) -> rule7) triple8) -> rule3) OR ((((((triple8) -> rule8) triple9) -> rule2) triple8) -> rule3) OR ((((triple12 triple11) -> rule7) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((triple12 triple9) -> rule2) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule8) triple11) -> rule7) ((triple12) -> rule5)) -> rule3) OR ((((((triple8) -> rule8) triple11) -> rule7) ((triple7) -> rule4)) -> rule3) OR ((((((triple8) -> rule8) triple9) -> rule2) ((triple12) -> rule5)) -> rule3) OR ((((((triple8) -> rule8) triple9) -> rule2) ((triple7) -> rule4)) -> rule3) OR ((((((triple8) -> rule8) triple11) -> rule7) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule8) triple9) -> rule2) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple11) -> rule7) triple8) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple9) -> rule2) triple8) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple11) -> rule7) ((triple12) -> rule5)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple11) -> rule7) ((triple7) -> rule4)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple9) -> rule2) ((triple12) -> rule5)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple9) -> rule2) ((triple7) -> rule4)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple11) -> rule7) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule8) triple9) -> rule2) ((((triple10 triple11) -> rule1)) -> rule5)) -> rule3))]