Anne is blue. Anne is furry. Anne is green. Anne is not nice. Anne is round. Anne is young. Dave is furry. Dave is green. Dave is not smart. Dave is young. If Dave is young then Dave is not nice. If Dave is green then Dave is furry. All smart things are not blue. If something is nice and not young then it is blue. If Anne is smart then Anne is green. All young, blue things are green. If something is furry and not blue then it is not round. If something is nice and green then it is round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is young.
("Dave" "is" "young" "+")
If Dave is young then Dave is not nice.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "nice" "-"))
If Dave is green then Dave is furry.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "furry" "+"))
All smart things are not blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "-"))
If something is nice and not young then it is blue.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
If Anne is smart then Anne is green.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "green" "+"))
All young, blue things are green.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is furry and not blue then it is not round.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "-"))
If something is nice and green then it is round.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple6 triple1) -> rule6))] Anne is not nice.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Dave is furry.[(triple7 OR ((triple8) -> rule2))] Dave is green.[(triple8)] Dave is not smart.[(triple9)] Dave is young.[(triple10)] @1: Dave is not nice.[(((triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple6 triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not nice.
("Anne" "is" "nice" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
((triple8) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is not smart.
("Dave" "is" "smart" "-")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Dave is not nice.
("Dave" "is" "nice" "-")
((triple10) -> (rule1 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1