Anne is big. Anne is furry. Bob is quiet. Bob is rough. Bob is young. Charlie is big. Charlie is young. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If something is green then it is big. If something is green then it is big. Red things are quiet. All quiet things are green. All big things are young. Quiet things are green.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5 OR ((((((triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2)) -> rule5))] Charlie is big.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule5))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9 OR ((triple10) -> rule3))] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12 OR ((((((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((((triple9) -> rule4)) -> rule2)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule2)) -> rule5))] @1: Anne is young.[(((triple1) -> rule5))] Bob is green.[(((triple3) -> rule4) OR ((triple3) -> rule6))] Fiona is green.[(((triple9) -> rule4) OR ((triple9) -> rule6) OR ((((triple10) -> rule3)) -> rule4) OR ((((triple10) -> rule3)) -> rule6))] @2: Bob is big.[(((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule2) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule6)) -> rule2))] Fiona is big.[(((((triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule4)) -> rule2) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple9) -> rule6)) -> rule2) OR ((((((triple10) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10) -> rule3)) -> rule4)) -> rule2) OR ((((((triple10) -> rule3)) -> rule6)) -> rule1) OR ((((((triple10) -> rule3)) -> rule6)) -> rule2))]