Anne is furry. Anne is nice. Anne is rough. Anne is white. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Dave is green. Dave is rough. Dave is white. All rough, blue people are furry. All white people are red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
All rough, blue people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All white people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Dave is white.
True
1
proof
[(triple12)]
("Dave" "is" "white" "+")
triple12
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Anne is red.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "red" "+")
((triple4) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "red" "-")
((triple4) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6 OR ((triple9 triple5) -> rule1))] Charlie is green.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Dave is green.[(triple10)] Dave is rough.[(triple11)] Dave is white.[(triple12)] @1: Anne is red.[(((triple4) -> rule2))] Dave is red.[(((triple12) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((triple9 triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Dave is white.
("Dave" "is" "white" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple4) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1