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