Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is white. Dave is furry. Dave is kind. Dave is not rough. Dave is white. Erin is green. Erin is rough. Erin is not white. Harry is furry. Harry is nice. Harry is rough. Harry is white. If someone is green then they are kind. All big, white people are not furry. White, green people are nice. Furry, white people are nice. All furry people are nice. If Dave is green and Dave is rough then Dave is nice. If Anne is nice then Anne is kind. If Harry is kind and Harry is big then Harry is green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All big, white people are not furry.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
White, green people are nice.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Furry, white people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Dave is green and Dave is rough then Dave is nice.
((("Dave" "is" "green" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "nice" "+"))
If Anne is nice then Anne is kind.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "kind" "+"))
If Harry is kind and Harry is big then Harry is green.
((("Harry" "is" "kind" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "green" "+"))
Harry is rough.
True
1
proof
[(triple15)]
("Harry" "is" "rough" "+")
triple15
Erin is not green.
False
1
inv-proof
[(triple10)]
("Erin" "is" "green" "-")
triple10
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule7) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple1 triple5) -> rule4)) -> rule7) OR ((((triple5 triple2) -> rule3)) -> rule7))] Anne is nice.[(triple4 OR ((triple1) -> rule5) OR ((triple1 triple5) -> rule4) OR ((triple5 triple2) -> rule3))] Anne is white.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not rough.[(triple8)] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is not white.[(triple12)] Erin is rough.[(triple11)] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple13) -> rule5) OR ((triple13 triple16) -> rule4))] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Dave is nice.[(((triple6) -> rule5) OR ((triple6 triple9) -> rule4))] Erin is kind.[(((triple10) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple5 triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple5) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5 triple2) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is not rough.
("Dave" "is" "rough" "-")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is not white.
("Erin" "is" "white" "-")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple13) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple13 triple16) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Dave is nice.
("Dave" "is" "nice" "+")
((triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1