Bob is nice. Bob is rough. Bob is smart. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is smart. Dave is young. If someone is rough then they are young. If someone is young then they are nice. If someone is round and nice then they are kind. If someone is young then they are rough. If someone is young then they are smart. If Bob is cold and Bob is round then Bob is young. Nice, round people are smart. All smart people are round.
Dave is not kind.
@0: Bob is nice.[(triple1 OR ((((triple2) -> rule1)) -> rule2))] Bob is rough.[(triple2)] Bob is smart.[(triple3 OR ((((triple2) -> rule1)) -> rule5))] Dave is cold.[(triple4)] Dave is kind.[(triple5 OR ((triple8 triple6) -> rule3) OR ((triple8 ((triple10) -> rule2)) -> rule3) OR ((((triple9) -> rule8) triple6) -> rule3) OR ((((triple9) -> rule8) ((triple10) -> rule2)) -> rule3) OR ((triple8 ((((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule5)) -> rule8) triple6) -> rule3) OR ((((triple9) -> rule8) ((((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule5)) -> rule8) ((triple10) -> rule2)) -> rule3) OR ((((((triple10) -> rule5)) -> rule8) ((((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule8) triple6) -> rule3) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule8) ((triple10) -> rule2)) -> rule3) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule8) ((((triple7) -> rule1)) -> rule2)) -> rule3))] Dave is nice.[(triple6 OR ((triple10) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Dave is rough.[(triple7 OR ((triple10) -> rule4))] Dave is round.[(triple8 OR ((triple9) -> rule8) OR ((((triple10) -> rule5)) -> rule8) OR ((((((triple7) -> rule1)) -> rule5)) -> rule8))] Dave is smart.[(triple9 OR ((triple10) -> rule5) OR ((triple6 triple8) -> rule7) OR ((((triple7) -> rule1)) -> rule5) OR ((((triple10) -> rule2) triple8) -> rule7) OR ((((((triple7) -> rule1)) -> rule2) triple8) -> rule7))] Dave is young.[(triple10 OR ((triple7) -> rule1))] @1: Bob is round.[(((triple3) -> rule8) OR ((((((triple2) -> rule1)) -> rule5)) -> rule8))] Bob is young.[(((triple2) -> rule1))] @2: Bob is kind.[(((((triple3) -> rule8) triple1) -> rule3) OR ((((triple3) -> rule8) ((((triple2) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule8) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule8) ((((triple2) -> rule1)) -> rule2)) -> rule3))]