Bob is cold. Dave is red. Harry is furry. Kind things are red. Furry things are round. If something is kind then it is rough.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Dave is red.
True
1
proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Harry is not furry.
False
1
inv-proof
[(triple3)]
("Harry" "is" "furry" "-")
triple3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is cold.[(triple1)] Dave is red.[(triple2)] Harry is furry.[(triple3)] @1: Harry is round.[(((triple3) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1