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