Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is round. Fiona is red. Fiona is rough. Fiona is round. Green, quiet things are furry. All round, red things are green. All green things are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Green, quiet things are furry.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All round, red things are green.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Dave is green.
True
1
proof
[(triple9 OR ((triple13 triple11) -> rule2))]
("Dave" "is" "green" "+")
triple9
((triple13 triple11) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not red.
False
1
inv-proof
[(triple11)]
("Dave" "is" "red" "-")
triple11
Fiona is green.
True
3
proof
[(((triple16 triple14) -> rule2))]
("Fiona" "is" "green" "+")
((triple16 triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple16 triple14) -> rule2))]
("Fiona" "is" "green" "-")
((triple16 triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple16 triple14) -> rule2)) -> rule3))]
("Fiona" "is" "quiet" "+")
((((triple16 triple14) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple16 triple14) -> rule2)) -> rule3))]
("Fiona" "is" "quiet" "-")
((((triple16 triple14) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
True
8
proof
[(((((triple16 triple14) -> rule2) ((((triple16 triple14) -> rule2)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple16 triple14) -> (rule2 % int3)) ((((triple16 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not furry.
False
8
inv-proof
[(((((triple16 triple14) -> rule2) ((((triple16 triple14) -> rule2)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple16 triple14) -> (rule2 % int3)) ((((triple16 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1) OR ((((triple6 triple4) -> rule2) triple3) -> rule1) OR ((((triple6 triple4) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((triple2 ((((triple6 triple4) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 triple4) -> rule2) ((((triple6 triple4) -> rule2)) -> rule3)) -> rule1))] Anne is green.[(triple2 OR ((triple6 triple4) -> rule2))] Anne is quiet.[(triple3 OR ((triple2) -> rule3) OR ((((triple6 triple4) -> rule2)) -> rule3))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple13 triple11) -> rule2) triple10) -> rule1) OR ((((triple13 triple11) -> rule2) ((triple9) -> rule3)) -> rule1) OR ((triple9 ((((triple13 triple11) -> rule2)) -> rule3)) -> rule1) OR ((((triple13 triple11) -> rule2) ((((triple13 triple11) -> rule2)) -> rule3)) -> rule1))] Dave is green.[(triple9 OR ((triple13 triple11) -> rule2))] Dave is quiet.[(triple10 OR ((triple9) -> rule3) OR ((((triple13 triple11) -> rule2)) -> rule3))] Dave is red.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is green.[(((triple16 triple14) -> rule2))] @2: Fiona is quiet.[(((((triple16 triple14) -> rule2)) -> rule3))] @3: Fiona is furry.[(((((triple16 triple14) -> rule2) ((((triple16 triple14) -> rule2)) -> rule3)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple6 triple4) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple6 triple4) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple6 triple4) -> (rule2 % int3)) ((((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple6 triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
((triple9 triple10) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple13 triple11) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple13 triple11) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((((triple13 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple13 triple11) -> (rule2 % int3)) ((((triple13 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple13 triple11) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
((triple9) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple13 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Fiona is green.
("Fiona" "is" "green" "+")
((triple16 triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple16 triple14) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple16 triple14) -> (rule2 % int3)) ((((triple16 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3