Anne is cold. Dave is kind. Fiona is blue. Harry is round. All cold people are not green. Smart people are not cold. If someone is quiet and green then they are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
All cold people are not green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "-"))
Smart people are not cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "-"))
If someone is quiet and green then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Anne is not green.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "-")
((triple1) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is cold.[(triple1)] Dave is kind.[(triple2)] Fiona is blue.[(triple3)] Harry is round.[(triple4)] @1: Anne is not green.[(((triple1) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Anne is not green.
("Anne" "is" "green" "-")
((triple1) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1