Anne is blue. Anne is quiet. Anne is white. Bob is blue. Bob is kind. Bob is red. Bob is smart. Bob is white. Bob is young. Fiona is not blue. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. If Bob is blue and Bob is not quiet then Bob is smart. If Bob is blue then Bob is kind. All red things are white. Smart things are white. If something is blue and not young then it is not white. If Fiona is white then Fiona is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
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 Bob is blue and Bob is not quiet then Bob is smart.
((("Bob" "is" "blue" "+") ("Bob" "is" "quiet" "~")) -> ("Bob" "is" "smart" "+"))
If Bob is blue then Bob is kind.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "kind" "+"))
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is blue and not young then it is not white.
((("something" "is" "blue" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "-"))
If Fiona is white then Fiona is kind.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "kind" "+"))
Fiona is white.
True
1
proof
[(triple14 OR ((triple12) -> rule3) OR ((triple13) -> rule4))]
("Fiona" "is" "white" "+")
triple14
((triple12) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple13) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not quiet.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "quiet" "-")
triple11
Fiona is kind.
True
2
proof
[(((triple14) -> rule6) OR ((((triple12) -> rule3)) -> rule6) OR ((((triple13) -> rule4)) -> rule6))]
("Fiona" "is" "kind" "+")
((triple14) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not kind.
False
2
inv-proof
[(((triple14) -> rule6) OR ((((triple12) -> rule3)) -> rule6) OR ((((triple13) -> rule4)) -> rule6))]
("Fiona" "is" "kind" "-")
((triple14) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5 OR ((triple4) -> rule2))] Bob is red.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8 OR ((triple6) -> rule3) OR ((triple7) -> rule4))] Bob is young.[(triple9)] Fiona is not blue.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple12) -> rule3) OR ((triple13) -> rule4))] Fiona is young.[(triple15)] @1: Fiona is kind.[(((triple14) -> rule6) OR ((((triple12) -> rule3)) -> rule6) OR ((((triple13) -> rule4)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
((triple6) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple7) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
((triple12) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple13) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple14) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2