Anne is furry. Anne is green. Charlie is round. Dave is cold. Dave is green. Dave is round. Harry is red. If someone is cold and furry then they are green. If someone is red and round then they are cold. Cold, rough people are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is cold and furry then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Cold, rough people are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple5)]
("Dave" "is" "green" "-")
triple5
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is round.[(triple6)] Harry is red.[(triple7)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7