Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. Gary is furry. Gary is quiet. Gary is red. Round things are furry. Quiet, young things are big. If Charlie is red and Charlie is young then Charlie is quiet. If something is round and furry then it is young. Furry things are quiet. All red, round things are young.
Fiona is round.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule1))] Charlie is quiet.[(triple2 OR ((triple1) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((triple3 ((triple3 triple4) -> rule6)) -> rule3) OR ((triple3 ((triple4 triple1) -> rule4)) -> rule3) OR ((triple3 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3))] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Fiona is furry.[(triple5 OR ((triple7) -> rule1))] Fiona is quiet.[(triple6 OR ((triple5) -> rule5) OR ((((triple7) -> rule1)) -> rule5))] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9 OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule4))] Gary is furry.[(triple10)] Gary is quiet.[(triple11 OR ((triple10) -> rule5))] Gary is red.[(triple12)] @1: Charlie is young.[(((triple3 triple4) -> rule6) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule4))] Fiona is big.[(((triple6 triple9) -> rule2) OR ((triple6 ((triple7 triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule5) triple9) -> rule2) OR ((((triple5) -> rule5) ((triple7 triple5) -> rule4)) -> rule2) OR ((triple6 ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7) -> rule1)) -> rule5) triple9) -> rule2) OR ((((triple5) -> rule5) ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7) -> rule1)) -> rule5) ((triple7 triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule1)) -> rule5) ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule2))] @2: Charlie is big.[(((triple2 ((triple3 triple4) -> rule6)) -> rule2) OR ((triple2 ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule5) ((triple3 triple4) -> rule6)) -> rule2) OR ((((triple1) -> rule5) ((triple4 triple1) -> rule4)) -> rule2) OR ((triple2 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((((triple1) -> rule5) ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((((((triple4) -> rule1)) -> rule5) ((triple3 triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule1)) -> rule5) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule3) ((triple3 triple4) -> rule6)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple4 triple1) -> rule4)) -> rule3) ((triple3 triple4) -> rule6)) -> rule2) OR ((((triple3 ((triple4 triple1) -> rule4)) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((((triple4) -> rule1)) -> rule5) ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule3) ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((triple4 triple1) -> rule4)) -> rule3) ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3) ((triple3 triple4) -> rule6)) -> rule2) OR ((((triple3 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3) ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule2))]