Anne is smart. Anne is white. Anne is young. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Bob is young. Erin is green. Erin is red. Erin is white. White, quiet people are green. If someone is red and quiet then they are smart. Red, green people are quiet.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is 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" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
White, quiet people are green.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is red and quiet then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Red, green people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Bob is green.
True
1
proof
[(triple4 OR ((triple8 triple6) -> rule1))]
("Bob" "is" "green" "+")
triple4
((triple8 triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is not green.
False
1
inv-proof
[(triple10)]
("Erin" "is" "green" "-")
triple10
Erin is quiet.
True
3
proof
[(((triple11 triple10) -> rule3))]
("Erin" "is" "quiet" "+")
((triple11 triple10) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
3
inv-proof
[(((triple11 triple10) -> rule3))]
("Erin" "is" "quiet" "-")
((triple11 triple10) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
True
5
proof
[(((triple11 ((triple11 triple10) -> rule3)) -> rule2))]
("Erin" "is" "smart" "+")
((triple11 ((triple11 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not smart.
False
5
inv-proof
[(((triple11 ((triple11 triple10) -> rule3)) -> rule2))]
("Erin" "is" "smart" "-")
((triple11 ((triple11 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is green.
Unknown
rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is green.[(triple4 OR ((triple8 triple6) -> rule1))] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12)] @1: Erin is quiet.[(((triple11 triple10) -> rule3))] @2: Erin is smart.[(((triple11 ((triple11 triple10) -> rule3)) -> rule2))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple8 triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple11 triple10) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple11 ((triple11 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2