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