Anne is not cold. Dave is young. Fiona is not cold. Gary is round. All kind things are red. Kind, red things are round. If something is young then it is round. If something is white then it is young. If something is cold and not young then it is furry. If Dave is white and Dave is not red then Dave is furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Gary is round.
("Gary" "is" "round" "+")
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Kind, red things are round.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is cold and not young then it is furry.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "furry" "+"))
If Dave is white and Dave is not red then Dave is furry.
((("Dave" "is" "white" "+") ("Dave" "is" "red" "~")) -> ("Dave" "is" "furry" "+"))
Anne is not cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Fiona is cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Dave is round.
True
2
proof
[(((triple2) -> rule3))]
("Dave" "is" "round" "+")
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Dave" "is" "round" "-")
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is round.
Unknown
rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Anne" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is not cold.[(triple1)] Dave is young.[(triple2)] Fiona is not cold.[(triple3)] Gary is round.[(triple4)] @1: Dave is round.[(((triple2) -> rule3))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1