Anne is green. Bob is blue. Bob is cold. Bob is not green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Fiona is blue. Fiona is quiet. Fiona is white. Gary is not blue. Gary is cold. Gary is not green. Gary is smart. All blue people are quiet. All white people are smart. If someone is green then they are white.
Anne is green.
("Anne" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is smart.
("Gary" "is" "smart" "+")
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "white" "-")
triple11
Fiona is smart.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "white" "-")
((triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Anne" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not smart.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Anne" "is" "smart" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Anne is quiet.
Unknown
rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "+")
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple5)] Bob is not green.[(triple4)] Bob is quiet.[(triple6 OR ((triple2) -> rule1))] Bob is smart.[(triple7 OR ((triple8) -> rule2))] Bob is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is quiet.[(triple10 OR ((triple9) -> rule1))] Fiona is white.[(triple11)] Gary is cold.[(triple13)] Gary is not blue.[(triple12)] Gary is not green.[(triple14)] Gary is smart.[(triple15)] @1: Anne is white.[(((triple1) -> rule3))] Fiona is smart.[(((triple11) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is not green.
("Bob" "is" "green" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
((triple2) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple7
((triple8) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is not blue.
("Gary" "is" "blue" "-")
triple12
Gary is not green.
("Gary" "is" "green" "-")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2