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