Anne is cold. Anne is smart. Bob is big. Bob is rough. Erin is big. Erin is cold. Erin is kind. Erin is rough. Erin is smart. Erin is white. Erin is young. Harry is cold. Harry is kind. Harry is rough. Smart things are cold. If Erin is kind then Erin is young. White things are kind. If something is rough and kind then it is smart. If Anne is smart then Anne is white. All smart, cold things are kind. Big, cold things are young. If Bob is rough then Bob is white.
Anne is rough.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule1))] Anne is smart.[(triple2)] Bob is big.[(triple3)] Bob is rough.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6 OR ((triple9) -> rule1) OR ((((triple8 triple7) -> rule4)) -> rule1) OR ((((triple8 ((triple10) -> rule3)) -> rule4)) -> rule1))] Erin is kind.[(triple7 OR ((triple10) -> rule3) OR ((triple9 triple6) -> rule6) OR ((triple9 ((triple9) -> rule1)) -> rule6))] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple8 triple7) -> rule4) OR ((triple8 ((triple10) -> rule3)) -> rule4))] Erin is white.[(triple10)] Erin is young.[(triple11 OR ((triple7) -> rule2) OR ((triple5 triple6) -> rule7) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple9 triple6) -> rule6)) -> rule2) OR ((triple5 ((triple9) -> rule1)) -> rule7) OR ((((triple9 ((triple9) -> rule1)) -> rule6)) -> rule2) OR ((triple5 ((((triple8 triple7) -> rule4)) -> rule1)) -> rule7) OR ((triple5 ((((triple8 ((triple10) -> rule3)) -> rule4)) -> rule1)) -> rule7))] Harry is cold.[(triple12 OR ((((triple14 triple13) -> rule4)) -> rule1))] Harry is kind.[(triple13)] Harry is rough.[(triple14)] @1: Anne is kind.[(((triple2 triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule3) OR ((triple2 ((triple2) -> rule1)) -> rule6))] Anne is white.[(((triple2) -> rule5))] Bob is white.[(((triple4) -> rule8))] Harry is smart.[(((triple14 triple13) -> rule4))] @2: Bob is kind.[(((((triple4) -> rule8)) -> rule3))] @3: Bob is smart.[(((triple4 ((((triple4) -> rule8)) -> rule3)) -> rule4))] @4: Bob is cold.[(((((triple4 ((((triple4) -> rule8)) -> rule3)) -> rule4)) -> rule1))] @5: Bob is young.[(((triple3 ((((triple4 ((((triple4) -> rule8)) -> rule3)) -> rule4)) -> rule1)) -> rule7))]