Dave is blue. Fiona is furry. Harry is cold. All furry things are blue. All furry, kind things are cold. If Harry is quiet and Harry is blue then Harry is furry. If something is quiet then it is blue. All green, blue things are nice. If Harry is nice and Harry is furry then Harry is blue. If something is quiet and green then it is nice. Furry things are cold.
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All furry, kind things are cold.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If Harry is quiet and Harry is blue then Harry is furry.
((("Harry" "is" "quiet" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "furry" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All green, blue things are nice.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Harry is nice and Harry is furry then Harry is blue.
((("Harry" "is" "nice" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "blue" "+"))
If something is quiet and green then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Harry is cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Dave is blue.[(triple1)] Fiona is furry.[(triple2)] Harry is cold.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule1))] Fiona is cold.[(((triple2) -> rule8))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1