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