Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is not smart. Bob is young. Dave is green. Dave is not kind. Dave is nice. Dave is not quiet. Dave is round. Dave is smart. Dave is young. All green, smart things are nice. Kind, young things are nice. If something is kind and round then it is quiet. If something is kind then it is quiet. All young, round things are green. All round things are young. If something is green and quiet then it is kind. All young, quiet things are kind.
Dave is not smart.
@0: Bob is green.[(triple1 OR ((triple7 triple5) -> rule5) OR ((((triple5) -> rule6) triple5) -> rule5))] Bob is kind.[(triple2 OR ((triple1 triple4) -> rule7) OR ((triple7 triple4) -> rule8) OR ((((triple5) -> rule6) triple4) -> rule8) OR ((((triple7 triple5) -> rule5) triple4) -> rule7) OR ((((((triple5) -> rule6) triple5) -> rule5) triple4) -> rule7))] Bob is nice.[(triple3 OR ((triple2 triple7) -> rule2) OR ((triple2 ((triple5) -> rule6)) -> rule2) OR ((((triple1 triple4) -> rule7) triple7) -> rule2) OR ((((triple7 triple4) -> rule8) triple7) -> rule2) OR ((((triple1 triple4) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((triple7 triple4) -> rule8) ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6) triple4) -> rule8) triple7) -> rule2) OR ((((((triple7 triple5) -> rule5) triple4) -> rule7) triple7) -> rule2) OR ((((((triple5) -> rule6) triple4) -> rule8) ((triple5) -> rule6)) -> rule2) OR ((((((triple7 triple5) -> rule5) triple4) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((((((triple5) -> rule6) triple5) -> rule5) triple4) -> rule7) triple7) -> rule2) OR ((((((((triple5) -> rule6) triple5) -> rule5) triple4) -> rule7) ((triple5) -> rule6)) -> rule2))] Bob is not smart.[(triple6)] Bob is quiet.[(triple4 OR ((triple2) -> rule4) OR ((triple2 triple5) -> rule3))] Bob is round.[(triple5)] Bob is young.[(triple7 OR ((triple5) -> rule6))] Dave is green.[(triple8 OR ((triple14 triple12) -> rule5) OR ((((triple12) -> rule6) triple12) -> rule5))] Dave is nice.[(triple10 OR ((triple8 triple13) -> rule1) OR ((((triple14 triple12) -> rule5) triple13) -> rule1) OR ((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule1))] Dave is not kind.[(triple9)] Dave is not quiet.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13)] Dave is young.[(triple14 OR ((triple12) -> rule6))]