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