Anne is big. Bob is white. Gary is nice. Red things are blue. All big things are not kind. If something is nice and not round then it is white.
Anne is big.
("Anne" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All big things are not kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
If something is nice and not round then it is white.
((("something" "is" "nice" "+") ("something" "is" "round" "~")) -> ("something" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not kind.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is big.[(triple1)] Bob is white.[(triple2)] Gary is nice.[(triple3)] @1: Anne is not kind.[(((triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1