Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Bob is big. Bob is kind. Bob is quiet. Bob is rough. Erin is big. Erin is kind. Erin is nice. Erin is rough. All rough people are quiet. Quiet people are white. Nice people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Erin is big.
True
1
proof
[(triple12 OR ((triple14) -> rule3))]
("Erin" "is" "big" "+")
triple12
((triple14) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Bob is not rough.
False
1
inv-proof
[(triple11)]
("Bob" "is" "rough" "-")
triple11
Bob is white.
True
2
proof
[(((triple10) -> rule2) OR ((((triple11) -> rule1)) -> rule2))]
("Bob" "is" "white" "+")
((triple10) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not white.
False
2
inv-proof
[(((triple10) -> rule2) OR ((((triple11) -> rule1)) -> rule2))]
("Bob" "is" "white" "-")
((triple10) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Erin is white.
True
3
proof
[(((((triple15) -> rule1)) -> rule2))]
("Erin" "is" "white" "+")
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple15) -> rule1)) -> rule2))]
("Erin" "is" "white" "-")
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule3))] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple6) -> rule1))] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Bob is big.[(triple8)] Bob is kind.[(triple9)] Bob is quiet.[(triple10 OR ((triple11) -> rule1))] Bob is rough.[(triple11)] Erin is big.[(triple12 OR ((triple14) -> rule3))] Erin is kind.[(triple13)] Erin is nice.[(triple14)] Erin is rough.[(triple15)] @1: Bob is white.[(((triple10) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Erin is quiet.[(((triple15) -> rule1))] @2: Erin is white.[(((((triple15) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple6) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple5) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
((triple11) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple11
Erin is big.
("Erin" "is" "big" "+")
triple12
((triple14) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Bob is white.
("Bob" "is" "white" "+")
((triple10) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple15) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2