Dave is blue. Dave is nice. Dave is red. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is young. Round, red things are big. Red things are round. Smart things are red. Round things are nice. If something is big and blue then it is nice. If something is smart and red then it is young.
Erin is red.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2 OR ((((triple3) -> rule2)) -> rule4) OR ((((((triple4) -> rule3)) -> rule2)) -> rule4) OR ((((((triple3) -> rule2) triple3) -> rule1) triple1) -> rule5) OR ((((((triple3) -> rule2) ((triple4) -> rule3)) -> rule1) triple1) -> rule5) OR ((((((((triple4) -> rule3)) -> rule2) triple3) -> rule1) triple1) -> rule5) OR ((((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule1) triple1) -> rule5))] Dave is red.[(triple3 OR ((triple4) -> rule3))] Dave is smart.[(triple4)] Dave is young.[(triple5 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple4) -> rule3)) -> rule6))] Erin is big.[(triple6 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple11) -> rule3)) -> rule1) OR ((((triple9) -> rule2) triple9) -> rule1) OR ((((triple9) -> rule2) ((triple11) -> rule3)) -> rule1) OR ((((((triple11) -> rule3)) -> rule2) triple9) -> rule1) OR ((((((triple11) -> rule3)) -> rule2) ((triple11) -> rule3)) -> rule1))] Erin is blue.[(triple7)] Erin is nice.[(triple8 OR ((triple10) -> rule4) OR ((triple6 triple7) -> rule5) OR ((((triple9) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule1) triple7) -> rule5) OR ((((((triple11) -> rule3)) -> rule2)) -> rule4) OR ((((triple10 ((triple11) -> rule3)) -> rule1) triple7) -> rule5) OR ((((((triple9) -> rule2) triple9) -> rule1) triple7) -> rule5) OR ((((((triple9) -> rule2) ((triple11) -> rule3)) -> rule1) triple7) -> rule5) OR ((((((((triple11) -> rule3)) -> rule2) triple9) -> rule1) triple7) -> rule5) OR ((((((((triple11) -> rule3)) -> rule2) ((triple11) -> rule3)) -> rule1) triple7) -> rule5))] Erin is red.[(triple9 OR ((triple11) -> rule3))] Erin is round.[(triple10 OR ((triple9) -> rule2) OR ((((triple11) -> rule3)) -> rule2))] Erin is smart.[(triple11)] Erin is young.[(triple12 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple11) -> rule3)) -> rule6))] @1: Dave is round.[(((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] @2: Dave is big.[(((((triple3) -> rule2) triple3) -> rule1) OR ((((triple3) -> rule2) ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule3)) -> rule2) triple3) -> rule1) OR ((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule1))]