Anne is not smart. Bob is big. Bob is not cold. Bob is not smart. Bob is white. Gary is big. Gary is white. If someone is big and not white then they are nice. If someone is big and not cold then they are nice. If someone is big and not white then they are young.
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is big and not white then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "nice" "+"))
If someone is big and not cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "+"))
If someone is big and not white then they are young.
((("someone" "is" "big" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "young" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Gary is not big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "-")
triple6
Bob is nice.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "nice" "-")
((triple2 triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is not smart.[(triple1)] Bob is big.[(triple2)] Bob is not cold.[(triple3)] Bob is not smart.[(triple4)] Bob is white.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Bob is nice.[(((triple2 triple3) -> rule2))]
Anne is not smart.
("Anne" "is" "smart" "-")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1