Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. All kind, quiet things are blue. If something is nice and furry then it is rough. If Fiona is quiet then Fiona is kind. If Fiona is rough then Fiona is blue. All quiet, white things are nice. Quiet, blue things are white.
Fiona is rough.
@0: Fiona is blue.[(triple1 OR ((triple6) -> rule4) OR ((triple3 triple5) -> rule1) OR ((((triple4 triple2) -> rule2)) -> rule4) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((((triple5 triple7) -> rule5) triple2) -> rule2)) -> rule4))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple5) -> rule3))] Fiona is nice.[(triple4 OR ((triple5 triple7) -> rule5) OR ((triple5 ((triple5 triple1) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((triple6) -> rule4)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((triple3 triple5) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple4 triple2) -> rule2) OR ((((triple5 triple7) -> rule5) triple2) -> rule2) OR ((((triple5 ((triple5 triple1) -> rule6)) -> rule5) triple2) -> rule2) OR ((((triple5 ((triple5 ((triple3 triple5) -> rule1)) -> rule6)) -> rule5) triple2) -> rule2) OR ((((triple5 ((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5) triple2) -> rule2))] Fiona is white.[(triple7 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple6) -> rule4)) -> rule6) OR ((triple5 ((triple3 triple5) -> rule1)) -> rule6) OR ((triple5 ((((triple4 triple2) -> rule2)) -> rule4)) -> rule6) OR ((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule6))]