Dave is green. Dave is red. Dave is rough. Dave is young. Fiona is cold. Fiona is rough. Fiona is white. If something is white then it is rough. If something is rough and cold then it is smart. If something is red and cold then it is young. If something is red and young then it is green. All smart things are young. If something is smart and rough then it is red.
Fiona is young.
@0: Dave is green.[(triple1 OR ((triple2 triple4) -> rule4))] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule1))] Fiona is white.[(triple7)] @1: Fiona is smart.[(((triple6 triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2))] @2: Fiona is red.[(((((triple6 triple5) -> rule2) triple6) -> rule6) OR ((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) OR ((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6))] Fiona is young.[(((((triple6 triple5) -> rule2)) -> rule5) OR ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3))] @3: Fiona is green.[(((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((triple6 triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1) triple5) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) triple6) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) ((((((((triple7) -> rule1) triple5) -> rule2) ((triple7) -> rule1)) -> rule6) triple5) -> rule3)) -> rule4))]