Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is young. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is young. If something is blue then it is quiet. If something is quiet and cold then it is blue. Quiet, young things are cold. If Erin is quiet and Erin is rough then Erin is big. If something is big and rough then it is young. All blue, quiet things are cold. If something is cold and furry then it is blue. If something is young and blue then it is rough.
Dave is young.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple3 triple4) -> rule7) OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple5 triple7) -> rule3)) -> rule2) OR ((((triple5 triple7) -> rule3) triple4) -> rule7) OR ((triple5 ((triple5 ((triple1 triple6) -> rule5)) -> rule3)) -> rule2) OR ((((triple5 ((triple1 triple6) -> rule5)) -> rule3) triple4) -> rule7))] Dave is cold.[(triple3 OR ((triple2 triple5) -> rule6) OR ((triple5 triple7) -> rule3) OR ((triple2 ((triple2) -> rule1)) -> rule6) OR ((triple5 ((triple1 triple6) -> rule5)) -> rule3) OR ((((triple2) -> rule1) triple7) -> rule3) OR ((((triple2) -> rule1) ((triple1 triple6) -> rule5)) -> rule3))] Dave is furry.[(triple4)] Dave is quiet.[(triple5 OR ((triple2) -> rule1) OR ((((triple3 triple4) -> rule7)) -> rule1))] Dave is rough.[(triple6 OR ((triple7 triple2) -> rule8) OR ((triple7 ((triple3 triple4) -> rule7)) -> rule8) OR ((triple7 ((triple5 triple3) -> rule2)) -> rule8) OR ((triple7 ((triple5 ((triple5 triple7) -> rule3)) -> rule2)) -> rule8) OR ((triple7 ((((triple5 triple7) -> rule3) triple4) -> rule7)) -> rule8))] Dave is young.[(triple7 OR ((triple1 triple6) -> rule5))] Erin is big.[(triple8 OR ((triple12 triple13) -> rule4) OR ((triple12 ((triple14 triple9) -> rule8)) -> rule4) OR ((((triple9) -> rule1) triple13) -> rule4) OR ((((triple9) -> rule1) ((triple14 triple9) -> rule8)) -> rule4) OR ((triple12 ((triple14 ((triple10 triple11) -> rule7)) -> rule8)) -> rule4) OR ((triple12 ((triple14 ((triple12 triple10) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) triple13) -> rule4) OR ((((triple9) -> rule1) ((triple14 ((triple10 triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple9) -> rule1) ((triple14 ((triple12 triple10) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) ((triple14 triple9) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) ((triple14 ((triple10 triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) ((triple14 ((triple12 triple10) -> rule2)) -> rule8)) -> rule4) OR ((triple12 ((triple14 ((triple12 ((triple12 triple14) -> rule3)) -> rule2)) -> rule8)) -> rule4) OR ((triple12 ((triple14 ((((triple12 triple14) -> rule3) triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple9) -> rule1) ((triple14 ((triple12 ((triple12 triple14) -> rule3)) -> rule2)) -> rule8)) -> rule4) OR ((((triple9) -> rule1) ((triple14 ((((triple12 triple14) -> rule3) triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) ((triple14 ((triple12 ((triple12 triple14) -> rule3)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10 triple11) -> rule7)) -> rule1) ((triple14 ((((triple12 triple14) -> rule3) triple11) -> rule7)) -> rule8)) -> rule4))] Erin is blue.[(triple9 OR ((triple10 triple11) -> rule7) OR ((triple12 triple10) -> rule2) OR ((triple12 ((triple12 triple14) -> rule3)) -> rule2) OR ((((triple12 triple14) -> rule3) triple11) -> rule7) OR ((triple12 ((triple12 ((triple8 triple13) -> rule5)) -> rule3)) -> rule2) OR ((((triple12 ((triple8 triple13) -> rule5)) -> rule3) triple11) -> rule7) OR ((triple12 ((triple12 ((((triple12 triple13) -> rule4) triple13) -> rule5)) -> rule3)) -> rule2) OR ((((triple12 ((((triple12 triple13) -> rule4) triple13) -> rule5)) -> rule3) triple11) -> rule7))] Erin is cold.[(triple10 OR ((triple12 triple14) -> rule3) OR ((triple9 triple12) -> rule6) OR ((triple12 ((triple8 triple13) -> rule5)) -> rule3) OR ((triple9 ((triple9) -> rule1)) -> rule6) OR ((((triple9) -> rule1) triple14) -> rule3) OR ((((triple9) -> rule1) ((triple8 triple13) -> rule5)) -> rule3) OR ((triple12 ((((triple12 triple13) -> rule4) triple13) -> rule5)) -> rule3) OR ((((triple9) -> rule1) ((((triple12 triple13) -> rule4) triple13) -> rule5)) -> rule3) OR ((triple12 ((((((triple9) -> rule1) triple13) -> rule4) triple13) -> rule5)) -> rule3) OR ((((triple9) -> rule1) ((((((triple9) -> rule1) triple13) -> rule4) triple13) -> rule5)) -> rule3))] Erin is furry.[(triple11)] Erin is quiet.[(triple12 OR ((triple9) -> rule1) OR ((((triple10 triple11) -> rule7)) -> rule1))] Erin is rough.[(triple13 OR ((triple14 triple9) -> rule8) OR ((triple14 ((triple10 triple11) -> rule7)) -> rule8) OR ((triple14 ((triple12 triple10) -> rule2)) -> rule8) OR ((triple14 ((triple12 ((triple12 triple14) -> rule3)) -> rule2)) -> rule8) OR ((triple14 ((((triple12 triple14) -> rule3) triple11) -> rule7)) -> rule8))] Erin is young.[(triple14 OR ((triple8 triple13) -> rule5) OR ((((triple12 triple13) -> rule4) triple13) -> rule5) OR ((((((triple9) -> rule1) triple13) -> rule4) triple13) -> rule5) OR ((((((((triple10 triple11) -> rule7)) -> rule1) triple13) -> rule4) triple13) -> rule5))]