Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If Fiona is red and Fiona is nice then Fiona is big. Round, nice things are kind. Kind things are red. If Fiona is red and Fiona is kind then Fiona is big. If Fiona is rough then Fiona is round. Nice things are big.
Fiona is not white.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule6) OR ((triple4 triple2) -> rule4) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple6 triple3) -> rule2)) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple2) -> rule3) triple3) -> rule1) OR ((((triple2) -> rule3) ((triple6 triple3) -> rule2)) -> rule4) OR ((triple4 ((((triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple6 triple3) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((triple6 triple3) -> rule2)) -> rule3) triple3) -> rule1) OR ((((triple2) -> rule3) ((((triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple6 triple3) -> rule2)) -> rule3) ((triple6 triple3) -> rule2)) -> rule4) OR ((((((triple6 triple3) -> rule2)) -> rule3) ((((triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple5) -> rule5) triple3) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((((triple5) -> rule5) triple3) -> rule2)) -> rule3) triple3) -> rule1) OR ((((((((triple5) -> rule5) triple3) -> rule2)) -> rule3) ((triple6 triple3) -> rule2)) -> rule4) OR ((((((((triple5) -> rule5) triple3) -> rule2)) -> rule3) ((((triple5) -> rule5) triple3) -> rule2)) -> rule4))] Fiona is kind.[(triple2 OR ((triple6 triple3) -> rule2) OR ((((triple5) -> rule5) triple3) -> rule2))] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple2) -> rule3) OR ((((triple6 triple3) -> rule2)) -> rule3) OR ((((((triple5) -> rule5) triple3) -> rule2)) -> rule3))] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule5))] Fiona is white.[(triple7)]