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