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