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