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