Anne is big. Bob is round. Bob is young. Charlie is furry. Charlie is round. Charlie is young. Fiona is big. If Charlie is young and Charlie is furry then Charlie is round. All young things are furry. Round things are furry. All round things are big. If Fiona is young then Fiona is green. All big things are green.
Fiona is big.
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4 OR ((triple5) -> rule3) OR ((triple6) -> rule2))] Charlie is round.[(triple5 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Charlie is young.[(triple6)] Fiona is big.[(triple7)] @1: Anne is green.[(((triple1) -> rule6))] Bob is big.[(((triple2) -> rule4))] Bob is furry.[(((triple2) -> rule3) OR ((triple3) -> rule2))] Charlie is big.[(((triple5) -> rule4) OR ((((triple6 triple4) -> rule1)) -> rule4) OR ((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4))] Fiona is green.[(((triple7) -> rule6))] @2: Bob is green.[(((((triple2) -> rule4)) -> rule6))] Charlie is green.[(((((triple5) -> rule4)) -> rule6) OR ((((((triple6 triple4) -> rule1)) -> rule4)) -> rule6) OR ((((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4)) -> rule6))]