Anne is furry. Anne is green. Anne is quiet. Charlie is blue. Charlie is furry. Charlie is white. Dave is blue. Dave is green. Dave is white. Erin is nice. Erin is quiet. Erin is red. Nice things are quiet. If something is green and white then it is furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is green and white then it is furry.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Erin is nice.
True
1
proof
[(triple10)]
("Erin" "is" "nice" "+")
triple10
Erin is not quiet.
False
1
inv-proof
[(triple11 OR ((triple10) -> rule1))]
("Erin" "is" "quiet" "-")
triple11
((triple10) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Dave is furry.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "furry" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "furry" "-")
((triple8 triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is white.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((triple10) -> rule1))] Erin is red.[(triple12)] @1: Dave is furry.[(((triple8 triple9) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple10) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1