Bob is nice. Bob is rough. Bob is smart. Bob is white. Dave is cold. Dave is kind. Dave is white. Erin is cold. Erin is kind. Erin is rough. Gary is not big. Gary is cold. Cold things are not big. Kind things are smart. Cold things are smart. Nice things are white. If something is white and smart then it is rough. If something is cold and white then it is nice. All smart things are nice. If something is nice then it is cold. All rough, smart things are kind.
Erin is smart.
@0: Bob is nice.[(triple1 OR ((triple3) -> rule7))] Bob is rough.[(triple2 OR ((triple4 triple3) -> rule5) OR ((((triple1) -> rule4) triple3) -> rule5) OR ((triple4 ((((triple1) -> rule8)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7)) -> rule4) triple3) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5))] Bob is smart.[(triple3 OR ((((triple1) -> rule8)) -> rule3))] Bob is white.[(triple4 OR ((triple1) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Dave is cold.[(triple5 OR ((((((triple6) -> rule2)) -> rule7)) -> rule8))] Dave is kind.[(triple6 OR ((((triple7 ((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule9) OR ((((((((((triple5) -> rule3)) -> rule7)) -> rule4) ((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule9))] Dave is white.[(triple7 OR ((((((triple5) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6) -> rule2)) -> rule7)) -> rule4))] Erin is cold.[(triple8 OR ((((((triple9) -> rule2)) -> rule7)) -> rule8))] Erin is kind.[(triple9 OR ((triple10 ((triple8) -> rule3)) -> rule9) OR ((((((((((triple8) -> rule3)) -> rule7)) -> rule4) ((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule9))] Erin is rough.[(triple10 OR ((((((((triple8) -> rule3)) -> rule7)) -> rule4) ((triple8) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule7)) -> rule4) ((triple8) -> rule3)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule7)) -> rule4) ((triple9) -> rule2)) -> rule5))] Gary is cold.[(triple12)] Gary is not big.[(triple11 OR ((triple12) -> rule1))] @1: Bob is cold.[(((triple1) -> rule8) OR ((((triple3) -> rule7)) -> rule8))] Bob is kind.[(((triple2 triple3) -> rule9) OR ((((triple4 triple3) -> rule5) triple3) -> rule9) OR ((triple2 ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((triple1) -> rule4) triple3) -> rule5) triple3) -> rule9) OR ((((triple4 triple3) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((triple1) -> rule4) triple3) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((triple4 ((((triple1) -> rule8)) -> rule3)) -> rule5) triple3) -> rule9) OR ((((((((triple3) -> rule7)) -> rule4) triple3) -> rule5) triple3) -> rule9) OR ((((((triple1) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5) triple3) -> rule9) OR ((((triple4 ((((triple1) -> rule8)) -> rule3)) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((((triple3) -> rule7)) -> rule4) triple3) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((((triple3) -> rule7)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5) triple3) -> rule9) OR ((((((triple1) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((((triple3) -> rule7)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule9))] Dave is nice.[(((triple5 triple7) -> rule6) OR ((((triple5) -> rule3)) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] Dave is not big.[(((triple5) -> rule1) OR ((((((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule1))] Dave is smart.[(((triple5) -> rule3) OR ((triple6) -> rule2))] Erin is not big.[(((triple8) -> rule1) OR ((((((((triple9) -> rule2)) -> rule7)) -> rule8)) -> rule1))] Erin is smart.[(((triple8) -> rule3) OR ((triple9) -> rule2))] Gary is smart.[(((triple12) -> rule3))] @2: Bob is not big.[(((((triple1) -> rule8)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8)) -> rule1))] Dave is rough.[(((triple7 ((triple5) -> rule3)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule4) ((triple6) -> rule2)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule7)) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule7)) -> rule4) ((triple6) -> rule2)) -> rule5))] Erin is nice.[(((((triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule2)) -> rule7))] Gary is nice.[(((((triple12) -> rule3)) -> rule7))] @3: Erin is white.[(((((((triple8) -> rule3)) -> rule7)) -> rule4) OR ((((((triple9) -> rule2)) -> rule7)) -> rule4))] Gary is white.[(((((((triple12) -> rule3)) -> rule7)) -> rule4))] @4: Gary is rough.[(((((((((triple12) -> rule3)) -> rule7)) -> rule4) ((triple12) -> rule3)) -> rule5))] @5: Gary is kind.[(((((((((((triple12) -> rule3)) -> rule7)) -> rule4) ((triple12) -> rule3)) -> rule5) ((triple12) -> rule3)) -> rule9))]