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