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