Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. Gary is green. Gary is kind. If someone is red and blue then they are kind. If someone is red then they are young. All red, nice people are green. Young people are kind. Kind people are red. All young, red people are blue.
Fiona is red.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple4) -> rule5)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule6) OR ((((triple6) -> rule2) ((triple4) -> rule5)) -> rule6) OR ((triple7 ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((triple6) -> rule2) ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2) ((triple4) -> rule5)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2) ((((triple7) -> rule4)) -> rule5)) -> rule6))] Dave is green.[(triple3 OR ((triple6 triple5) -> rule3) OR ((((triple4) -> rule5) triple5) -> rule3) OR ((((((triple7) -> rule4)) -> rule5) triple5) -> rule3))] Dave is kind.[(triple4 OR ((triple7) -> rule4) OR ((triple6 triple2) -> rule1) OR ((((triple6) -> rule2)) -> rule4) OR ((triple6 ((triple7 triple6) -> rule6)) -> rule1) OR ((triple6 ((((triple6) -> rule2) triple6) -> rule6)) -> rule1))] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple4) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] Dave is young.[(triple7 OR ((triple6) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple14 triple13) -> rule6) OR ((triple14 ((triple11) -> rule5)) -> rule6) OR ((((triple13) -> rule2) triple13) -> rule6) OR ((((triple13) -> rule2) ((triple11) -> rule5)) -> rule6) OR ((triple14 ((((triple14) -> rule4)) -> rule5)) -> rule6) OR ((((((triple11) -> rule5)) -> rule2) triple13) -> rule6) OR ((((triple13) -> rule2) ((((triple14) -> rule4)) -> rule5)) -> rule6) OR ((((((triple11) -> rule5)) -> rule2) ((triple11) -> rule5)) -> rule6) OR ((((((triple11) -> rule5)) -> rule2) ((((triple14) -> rule4)) -> rule5)) -> rule6))] Fiona is green.[(triple10 OR ((triple13 triple12) -> rule3) OR ((((triple11) -> rule5) triple12) -> rule3) OR ((((((triple14) -> rule4)) -> rule5) triple12) -> rule3))] Fiona is kind.[(triple11 OR ((triple14) -> rule4) OR ((triple13 triple9) -> rule1) OR ((((triple13) -> rule2)) -> rule4) OR ((triple13 ((triple14 triple13) -> rule6)) -> rule1) OR ((triple13 ((((triple13) -> rule2) triple13) -> rule6)) -> rule1))] Fiona is nice.[(triple12)] Fiona is red.[(triple13 OR ((triple11) -> rule5) OR ((((triple14) -> rule4)) -> rule5))] Fiona is young.[(triple14 OR ((triple13) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Gary is green.[(triple15)] Gary is kind.[(triple16)] @1: Gary is red.[(((triple16) -> rule5))] @2: Gary is young.[(((((triple16) -> rule5)) -> rule2))] @3: Gary is blue.[(((((((triple16) -> rule5)) -> rule2) ((triple16) -> rule5)) -> rule6))]