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