Anne is cold. Anne is rough. Bob is cold. Bob is kind. Dave is big. Dave is red. Dave is smart. Harry is big. Harry is kind. Harry is smart. Big people are young. Red people are smart. If Anne is young and Anne is rough then Anne is smart. Young, cold people are red. Rough people are big. All kind people are rough. If Anne is kind and Anne is cold then Anne is smart. All young people are kind.
Bob is red.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Dave is big.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8 OR ((((triple9) -> rule6)) -> rule5))] Harry is kind.[(triple9 OR ((((triple8) -> rule1)) -> rule8))] Harry is smart.[(triple10)] @1: Anne is big.[(((triple2) -> rule5))] Bob is rough.[(((triple4) -> rule6))] Dave is young.[(((triple5) -> rule1))] Harry is rough.[(((triple9) -> rule6) OR ((((((triple8) -> rule1)) -> rule8)) -> rule6))] Harry is young.[(((triple8) -> rule1) OR ((((((triple9) -> rule6)) -> rule5)) -> rule1))] @2: Anne is young.[(((((triple2) -> rule5)) -> rule1))] Bob is big.[(((((triple4) -> rule6)) -> rule5))] Dave is kind.[(((((triple5) -> rule1)) -> rule8))] @3: Anne is kind.[(((((((triple2) -> rule5)) -> rule1)) -> rule8))] Anne is red.[(((((((triple2) -> rule5)) -> rule1) triple1) -> rule4))] Anne is smart.[(((((((triple2) -> rule5)) -> rule1) triple2) -> rule3) OR ((((((((triple2) -> rule5)) -> rule1) triple1) -> rule4)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule1)) -> rule8) triple1) -> rule7))] Bob is young.[(((((((triple4) -> rule6)) -> rule5)) -> rule1))] Dave is rough.[(((((((triple5) -> rule1)) -> rule8)) -> rule6))] @4: Bob is red.[(((((((((triple4) -> rule6)) -> rule5)) -> rule1) triple3) -> rule4))] @5: Bob is smart.[(((((((((((triple4) -> rule6)) -> rule5)) -> rule1) triple3) -> rule4)) -> rule2))]