Bob is cold. Gary is blue. If something is nice then it is not blue. If something is cold then it is blue. All rough things are not furry. Rough, green things are nice. All blue, rough things are young. All green things are not young.
Bob is cold.
("Bob" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If something is nice then it is not blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "-"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All rough things are not furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
Rough, green things are nice.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All blue, rough things are young.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All green things are not young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "-"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is blue.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Gary is blue.[(triple2)] @1: Bob is blue.[(((triple1) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1