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