Anne is big. Anne is kind. Charlie is kind. Charlie is red. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. All kind things are red. Green, red things are furry. If Anne is nice then Anne is green. If something is rough then it is red. All nice things are furry. If something is big and furry then it is rough. All nice, green things are red. If something is kind then it is nice.
Charlie is not nice.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule1))] Dave is big.[(triple5)] Dave is furry.[(triple6 OR ((triple8) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Dave is kind.[(triple7)] Dave is nice.[(triple8 OR ((triple7) -> rule8))] Dave is red.[(triple9 OR ((triple10) -> rule4) OR ((triple7) -> rule1) OR ((((triple5 triple6) -> rule6)) -> rule4) OR ((((triple5 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple5 ((((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Dave is rough.[(triple10 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple8) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule8)) -> rule5)) -> rule6))] Fiona is big.[(triple11)] Fiona is furry.[(triple12 OR ((triple13 triple15) -> rule2) OR ((((triple14) -> rule8)) -> rule5) OR ((triple13 ((triple14) -> rule1)) -> rule2) OR ((triple13 ((triple16) -> rule4)) -> rule2) OR ((triple13 ((((triple14) -> rule8) triple13) -> rule7)) -> rule2))] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is red.[(triple15 OR ((triple14) -> rule1) OR ((triple16) -> rule4) OR ((((triple11 triple12) -> rule6)) -> rule4) OR ((((triple14) -> rule8) triple13) -> rule7) OR ((((triple11 ((((triple14) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Fiona is rough.[(triple16 OR ((triple11 triple12) -> rule6) OR ((triple11 ((triple13 triple15) -> rule2)) -> rule6) OR ((triple11 ((((triple14) -> rule8)) -> rule5)) -> rule6) OR ((triple11 ((triple13 ((triple14) -> rule1)) -> rule2)) -> rule6) OR ((triple11 ((triple13 ((((triple14) -> rule8) triple13) -> rule7)) -> rule2)) -> rule6))] @1: Anne is nice.[(((triple2) -> rule8))] Anne is red.[(((triple2) -> rule1) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Charlie is nice.[(((triple3) -> rule8))] Fiona is nice.[(((triple14) -> rule8))] @2: Anne is furry.[(((((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule2))] Anne is green.[(((((triple2) -> rule8)) -> rule3))] Charlie is furry.[(((((triple3) -> rule8)) -> rule5))] @3: Anne is rough.[(((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule6) OR ((triple1 ((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule1)) -> rule2)) -> rule6) OR ((triple1 ((((((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6))]