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