Dave is nice. Erin is blue. Erin is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Gary is blue. Gary is furry. If something is nice and big then it is blue. If something is quiet then it is big. If something is young then it is big. All red, blue things are young. Nice things are young. If something is nice and not furry then it is not quiet.
Erin is blue.
@0: Dave is nice.[(triple1)] Erin is blue.[(triple2)] Erin is young.[(triple3)] Fiona is big.[(triple4 OR ((triple10) -> rule3) OR ((triple8) -> rule2) OR ((((triple7) -> rule5)) -> rule3) OR ((((triple9 triple5) -> rule4)) -> rule3))] Fiona is blue.[(triple5 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple10) -> rule3)) -> rule1) OR ((triple7 ((triple8) -> rule2)) -> rule1) OR ((triple7 ((((triple7) -> rule5)) -> rule3)) -> rule1))] Fiona is furry.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule5) OR ((triple9 triple5) -> rule4) OR ((triple9 ((triple7 triple4) -> rule1)) -> rule4) OR ((triple9 ((triple7 ((triple8) -> rule2)) -> rule1)) -> rule4))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] @1: Dave is young.[(((triple1) -> rule5))] Erin is big.[(((triple3) -> rule3))] @2: Dave is big.[(((((triple1) -> rule5)) -> rule3))] @3: Dave is blue.[(((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule1))]