Bob is big. Bob is blue. Bob is quiet. Bob is white. Dave is blue. Dave is quiet. Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is white. Erin is young. Big things are cold. Nice, blue things are young. All blue things are nice. All nice things are young. All young things are big. All big, nice things are young. Young, nice things are blue. Nice, cold things are white.
Dave is not big.
@0: Bob is big.[(triple1 OR ((((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple2) -> rule3) triple2) -> rule2)) -> rule5))] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4 OR ((((triple2) -> rule3) ((triple1) -> rule1)) -> rule8) OR ((((triple2) -> rule3) ((((((((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule8) OR ((((triple2) -> rule3) ((((((((triple2) -> rule3) triple2) -> rule2)) -> rule5)) -> rule1)) -> rule8))] Dave is blue.[(triple5)] Dave is quiet.[(triple6)] Erin is big.[(triple7 OR ((triple12) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] Erin is cold.[(triple8 OR ((triple7) -> rule1) OR ((((triple12) -> rule5)) -> rule1) OR ((((((triple9) -> rule4)) -> rule5)) -> rule1))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11 OR ((triple9 triple8) -> rule8) OR ((triple9 ((triple7) -> rule1)) -> rule8) OR ((triple9 ((((triple12) -> rule5)) -> rule1)) -> rule8) OR ((triple9 ((((((triple9) -> rule4)) -> rule5)) -> rule1)) -> rule8))] Erin is young.[(triple12 OR ((triple9) -> rule4) OR ((triple7 triple9) -> rule6))] @1: Bob is cold.[(((triple1) -> rule1) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule1) OR ((((((((triple2) -> rule3) triple2) -> rule2)) -> rule5)) -> rule1))] Bob is nice.[(((triple2) -> rule3))] Dave is nice.[(((triple5) -> rule3))] Erin is blue.[(((triple12 triple9) -> rule7) OR ((((triple9) -> rule4) triple9) -> rule7) OR ((((triple7 triple9) -> rule6) triple9) -> rule7))] @2: Bob is young.[(((((triple2) -> rule3)) -> rule4) OR ((triple1 ((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule2))] Dave is young.[(((((triple5) -> rule3)) -> rule4) OR ((((triple5) -> rule3) triple5) -> rule2))] @3: Dave is big.[(((((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple5) -> rule2)) -> rule5))] @4: Dave is cold.[(((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule2)) -> rule5)) -> rule1))] @5: Dave is white.[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule8) OR ((((triple5) -> rule3) ((((((((triple5) -> rule3) triple5) -> rule2)) -> rule5)) -> rule1)) -> rule8))]