Anne is green. Anne is round. Bob is furry. Bob is green. Bob is quiet. Bob is red. Dave is green. Dave is smart. Gary is furry. Gary is round. If Dave is smart then Dave is blue. Green people are red. If Bob is smart then Bob is furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
If Dave is smart then Dave is blue.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "blue" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If Bob is smart then Bob is furry.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "furry" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule2))] Dave is green.[(triple7)] Dave is smart.[(triple8)] Gary is furry.[(triple9)] Gary is round.[(triple10)] @1: Anne is red.[(((triple1) -> rule2))] Dave is blue.[(((triple8) -> rule1))] Dave is red.[(((triple7) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple4) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1