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