Anne is blue. Charlie is blue. Charlie is green. Erin is white. Fiona is cold. Fiona is green. Fiona is smart. All blue, smart people are cold. All green, blue people are white. All white people are smart.
Anne is blue.
("Anne" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All blue, smart people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All green, blue people are white.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Fiona is green.
True
1
proof
[(triple6)]
("Fiona" "is" "green" "+")
triple6
Erin is not white.
False
1
inv-proof
[(triple4)]
("Erin" "is" "white" "-")
triple4
Charlie is white.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Charlie" "is" "white" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple4) -> rule3))]
("Erin" "is" "smart" "-")
((triple4) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is smart.
True
4
proof
[(((((triple3 triple2) -> rule2)) -> rule3))]
("Charlie" "is" "smart" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is not smart.
False
4
inv-proof
[(((((triple3 triple2) -> rule2)) -> rule3))]
("Charlie" "is" "smart" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
True
6
proof
[(((triple2 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "cold" "+")
((triple2 ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is not cold.
False
6
inv-proof
[(((triple2 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "cold" "-")
((triple2 ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Anne is not smart.
Unknown
inv-rconc
[@2: Anne is smart.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is cold.
Unknown
rconc
[@3: Anne is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Anne" "is" "cold" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Erin is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is white.[(((triple3 triple2) -> rule2))] Erin is smart.[(((triple4) -> rule3))] @2: Charlie is smart.[(((((triple3 triple2) -> rule2)) -> rule3))] @3: Charlie is cold.[(((triple2 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3