Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. All white things are round. All kind, big things are green. All kind things are green. Round, quiet things are kind. All green things are big. All big, young things are kind. Quiet, kind things are big. If something is kind then it is round.
Fiona is big.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule5) OR ((triple4 triple3) -> rule7) OR ((((triple3) -> rule3)) -> rule5) OR ((triple4 ((triple5 triple4) -> rule4)) -> rule7) OR ((((((triple5 triple4) -> rule4)) -> rule3)) -> rule5) OR ((triple4 ((((triple6) -> rule1) triple4) -> rule4)) -> rule7) OR ((((((((triple6) -> rule1) triple4) -> rule4)) -> rule3)) -> rule5))] Fiona is green.[(triple2 OR ((triple3) -> rule3) OR ((triple3 triple1) -> rule2) OR ((((triple1 triple7) -> rule6)) -> rule3) OR ((((triple5 triple4) -> rule4)) -> rule3) OR ((triple3 ((triple4 triple3) -> rule7)) -> rule2) OR ((((triple1 triple7) -> rule6) triple1) -> rule2) OR ((((triple5 triple4) -> rule4) triple1) -> rule2) OR ((((triple1 triple7) -> rule6) ((triple4 triple3) -> rule7)) -> rule2) OR ((((triple5 triple4) -> rule4) ((triple4 triple3) -> rule7)) -> rule2) OR ((((((triple6) -> rule1) triple4) -> rule4)) -> rule3) OR ((triple3 ((triple4 ((triple5 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple6) -> rule1) triple4) -> rule4) triple1) -> rule2) OR ((((triple1 triple7) -> rule6) ((triple4 ((triple5 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 triple4) -> rule4) ((triple4 ((triple5 triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple6) -> rule1) triple4) -> rule4) ((triple4 triple3) -> rule7)) -> rule2) OR ((((((triple6) -> rule1) triple4) -> rule4) ((triple4 ((triple5 triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple3 ((triple4 ((((triple6) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple1 triple7) -> rule6) ((triple4 ((((triple6) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 triple4) -> rule4) ((triple4 ((((triple6) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple6) -> rule1) triple4) -> rule4) ((triple4 ((((triple6) -> rule1) triple4) -> rule4)) -> rule7)) -> rule2))] Fiona is kind.[(triple3 OR ((triple1 triple7) -> rule6) OR ((triple5 triple4) -> rule4) OR ((((triple2) -> rule5) triple7) -> rule6) OR ((((triple6) -> rule1) triple4) -> rule4))] Fiona is quiet.[(triple4)] Fiona is round.[(triple5 OR ((triple3) -> rule8) OR ((triple6) -> rule1) OR ((((triple1 triple7) -> rule6)) -> rule8) OR ((((((triple2) -> rule5) triple7) -> rule6)) -> rule8))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]