Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Dave is big. Dave is green. Dave is red. Dave is white. Erin is green. Erin is rough. Erin is white. All kind people are big. If someone is white and red then they are quiet. If someone is rough then they are red.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is white and red then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Dave is big.
True
1
proof
[(triple6)]
("Dave" "is" "big" "+")
triple6
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Dave is quiet.
True
3
proof
[(((triple9 triple8) -> rule2))]
("Dave" "is" "quiet" "+")
((triple9 triple8) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "-")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is quiet.
True
4
proof
[(((triple12 ((triple11) -> rule3)) -> rule2))]
("Erin" "is" "quiet" "+")
((triple12 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not quiet.
False
4
inv-proof
[(((triple12 ((triple11) -> rule3)) -> rule2))]
("Erin" "is" "quiet" "-")
((triple12 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple5 ((triple4) -> rule3)) -> rule2))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] @1: Bob is big.[(((triple2) -> rule1))] Bob is red.[(((triple4) -> rule3))] Dave is quiet.[(((triple9 triple8) -> rule2))] Erin is red.[(((triple11) -> rule3))] @2: Erin is quiet.[(((triple12 ((triple11) -> rule3)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple5 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple9 triple8) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple11) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple12 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2