Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. If someone is young then they are big. Round people are big. Young, big people are nice. Young, green people are round. If someone is round then they are nice. If Fiona is kind then Fiona is green. Kind people are smart. All young, big people are green.
Fiona is not smart.
@0: Fiona is big.[(triple1 OR ((triple5) -> rule2) OR ((triple7) -> rule1) OR ((((triple7 triple2) -> rule4)) -> rule2) OR ((((triple7 ((triple3) -> rule6)) -> rule4)) -> rule2))] Fiona is green.[(triple2 OR ((triple3) -> rule6) OR ((triple7 triple1) -> rule8) OR ((triple7 ((triple5) -> rule2)) -> rule8) OR ((triple7 ((triple7) -> rule1)) -> rule8))] Fiona is kind.[(triple3)] Fiona is nice.[(triple4 OR ((triple5) -> rule5) OR ((triple7 triple1) -> rule3) OR ((((triple7 triple2) -> rule4)) -> rule5) OR ((triple7 ((triple5) -> rule2)) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((triple7 ((triple3) -> rule6)) -> rule4)) -> rule5) OR ((((triple7 ((triple7 triple1) -> rule8)) -> rule4)) -> rule5) OR ((triple7 ((((triple7 triple2) -> rule4)) -> rule2)) -> rule3) OR ((((triple7 ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((triple7 ((((triple7 ((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule3))] Fiona is round.[(triple5 OR ((triple7 triple2) -> rule4) OR ((triple7 ((triple3) -> rule6)) -> rule4) OR ((triple7 ((triple7 triple1) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule4))] Fiona is smart.[(triple6 OR ((triple3) -> rule7))] Fiona is young.[(triple7)]