Bob is white. Dave is cold. Dave is red. Erin is big. Erin is cold. Erin is red. Erin is rough. Erin is round. Harry is red. Harry is rough. All big people are red. All red people are big. If someone is furry and big then they are rough. If someone is big then they are furry. If someone is rough and furry then they are white. If Harry is red and Harry is big then Harry is round. If someone is white then they are round. All cold people are big.
Bob is rough.
@0: Bob is white.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((((triple2) -> rule8)) -> rule1))] Erin is big.[(triple4 OR ((triple5) -> rule8) OR ((triple6) -> rule2))] Erin is cold.[(triple5)] Erin is red.[(triple6 OR ((triple4) -> rule1) OR ((((triple5) -> rule8)) -> rule1))] Erin is rough.[(triple7 OR ((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3))] Erin is round.[(triple8 OR ((((triple7 ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7))] Harry is red.[(triple9)] Harry is rough.[(triple10 OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3))] @1: Bob is round.[(((triple1) -> rule7))] Dave is big.[(((triple2) -> rule8) OR ((triple3) -> rule2))] Erin is furry.[(((triple4) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Harry is big.[(((triple9) -> rule2))] @2: Dave is furry.[(((((triple2) -> rule8)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Erin is white.[(((triple7 ((triple4) -> rule4)) -> rule5) OR ((triple7 ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((triple7 ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5))] Harry is furry.[(((((triple9) -> rule2)) -> rule4))] Harry is round.[(((triple9 ((triple9) -> rule2)) -> rule6) OR ((((triple10 ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7))] @3: Dave is rough.[(((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3))] Harry is white.[(((triple10 ((((triple9) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule5))] @4: Dave is white.[(((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5))] @5: Dave is round.[(((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7))]