Charlie is big. Charlie is smart. Charlie is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is young. Gary is big. Gary is green. Gary is nice. Gary is quiet. If something is furry then it is young. If something is green and big then it is smart. Big things are green. If Gary is smart and Gary is big then Gary is furry. Big, nice things are smart. If something is furry and smart then it is young.
Charlie is not furry.
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2 OR ((((triple1) -> rule3) triple1) -> rule2))] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6 OR ((triple4) -> rule3))] Fiona is nice.[(triple7)] Fiona is young.[(triple8 OR ((triple5) -> rule1) OR ((triple5 ((triple4 triple7) -> rule5)) -> rule6) OR ((triple5 ((triple6 triple4) -> rule2)) -> rule6) OR ((triple5 ((((triple4) -> rule3) triple4) -> rule2)) -> rule6))] Gary is big.[(triple9)] Gary is green.[(triple10 OR ((triple9) -> rule3))] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] @1: Charlie is green.[(((triple1) -> rule3))] Fiona is smart.[(((triple4 triple7) -> rule5) OR ((triple6 triple4) -> rule2) OR ((((triple4) -> rule3) triple4) -> rule2))] Gary is smart.[(((triple10 triple9) -> rule2) OR ((triple9 triple11) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule2))] @2: Gary is furry.[(((((triple10 triple9) -> rule2) triple9) -> rule4) OR ((((triple9 triple11) -> rule5) triple9) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4))] @3: Gary is young.[(((((((triple10 triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4)) -> rule1) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6))]