Fiona is big. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. All round things are young. All quiet things are rough. If Fiona is young and Fiona is rough then Fiona is red. All green things are young. If something is young then it is big. Red things are big.
Fiona is not young.
@0: Fiona is big.[(triple1 OR ((triple4) -> rule6) OR ((triple7) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((triple6) -> rule1)) -> rule5) OR ((((triple7 triple5) -> rule3)) -> rule6) OR ((((triple7 ((triple3) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule4) triple5) -> rule3)) -> rule6) OR ((((((triple6) -> rule1) triple5) -> rule3)) -> rule6) OR ((((((triple2) -> rule4) ((triple3) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6) -> rule1) ((triple3) -> rule2)) -> rule3)) -> rule6))] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple3) -> rule2)) -> rule3) OR ((((triple2) -> rule4) triple5) -> rule3) OR ((((triple6) -> rule1) triple5) -> rule3) OR ((((triple2) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((triple6) -> rule1) ((triple3) -> rule2)) -> rule3))] Fiona is rough.[(triple5 OR ((triple3) -> rule2))] Fiona is round.[(triple6)] Fiona is young.[(triple7 OR ((triple2) -> rule4) OR ((triple6) -> rule1))]