Anne is nice. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is not young. Dave is furry. If Dave is furry and Dave is nice then Dave is smart. If Dave is not furry and Dave is not cold then Dave is blue. If Anne is blue and Anne is smart then Anne is young.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is furry.
("Dave" "is" "furry" "+")
If Dave is furry and Dave is nice then Dave is smart.
((("Dave" "is" "furry" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "smart" "+"))
If Dave is not furry and Dave is not cold then Dave is blue.
((("Dave" "is" "furry" "~") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "blue" "+"))
If Anne is blue and Anne is smart then Anne is young.
((("Anne" "is" "blue" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "young" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Charlie is not smart.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "smart" "-")
triple8
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is not young.[(triple9)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Dave is furry.[(triple10)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is not young.
("Charlie" "is" "young" "-")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple10