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