Anne is green. Bob is red. Gary is nice. Harry is nice. All furry, kind people are nice. If Bob is nice then Bob is green. Nice people are green.
Anne is green.
("Anne" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All furry, kind people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Bob is nice then Bob is green.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "green" "+"))
Nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Harry is green.
True
2
proof
[(((triple4) -> rule3))]
("Harry" "is" "green" "+")
((triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple4) -> rule3))]
("Harry" "is" "green" "-")
((triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is green.[(triple1)] Bob is red.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Gary is green.[(((triple3) -> rule3))] Harry is green.[(((triple4) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
((triple3) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple4) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1