Charlie is big. Charlie is furry. Charlie is kind. Charlie is round. Charlie is young. Erin is blue. Erin is young. If Charlie is young and Charlie is round then Charlie is blue. All big things are round. All young things are smart. If Charlie is blue then Charlie is young. Blue things are furry. If something is young then it is smart. If Charlie is kind and Charlie is furry then Charlie is young. All young things are blue.
Erin is not young.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((((triple5) -> rule8)) -> rule5) OR ((((triple5 triple4) -> rule1)) -> rule5) OR ((((triple5 ((triple1) -> rule2)) -> rule1)) -> rule5))] Charlie is kind.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule2))] Charlie is young.[(triple5 OR ((triple3 triple2) -> rule7))] Erin is blue.[(triple6 OR ((triple7) -> rule8))] Erin is young.[(triple7)] @1: Charlie is blue.[(((triple5) -> rule8) OR ((triple5 triple4) -> rule1) OR ((((triple3 triple2) -> rule7)) -> rule8) OR ((triple5 ((triple1) -> rule2)) -> rule1) OR ((((triple3 triple2) -> rule7) triple4) -> rule1) OR ((((triple3 triple2) -> rule7) ((triple1) -> rule2)) -> rule1))] Charlie is smart.[(((triple5) -> rule3) OR ((triple5) -> rule6) OR ((((triple3 triple2) -> rule7)) -> rule3) OR ((((triple3 triple2) -> rule7)) -> rule6))] Erin is furry.[(((triple6) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Erin is smart.[(((triple7) -> rule3) OR ((triple7) -> rule6))]