Fiona is green. Fiona is rough. Fiona is smart. Gary is blue. Gary is furry. Gary is nice. Gary is red. All rough, green things are nice. All nice things are rough. Blue things are red. If something is green and blue then it is nice. All blue, red things are furry. Red, rough things are blue. Green, furry things are blue. If Fiona is green then Fiona is red.
Fiona is red.
@0: Fiona is green.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] Gary is blue.[(triple4 OR ((triple7 ((triple6) -> rule2)) -> rule6))] Gary is furry.[(triple5 OR ((triple4 triple7) -> rule5) OR ((triple4 ((triple4) -> rule3)) -> rule5) OR ((((triple7 ((triple6) -> rule2)) -> rule6) triple7) -> rule5) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple4) -> rule3)) -> rule5))] Gary is nice.[(triple6)] Gary is red.[(triple7 OR ((triple4) -> rule3))] @1: Fiona is nice.[(((triple2 triple1) -> rule1) OR ((triple1 ((((triple1) -> rule8) triple2) -> rule6)) -> rule4))] Fiona is red.[(((triple1) -> rule8))] Gary is rough.[(((triple6) -> rule2))] @2: Fiona is blue.[(((((triple1) -> rule8) triple2) -> rule6))] @3: Fiona is furry.[(((((((triple1) -> rule8) triple2) -> rule6) ((triple1) -> rule8)) -> rule5))]