Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is round. All blue things are round. If Anne is white then Anne is round. All round things are green. If something is furry and blue then it is quiet. All white, round things are blue. White things are furry. If Fiona is furry and Fiona is big then Fiona is blue. If Anne is not round and Anne is not furry then Anne is quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Anne is white then Anne is round.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "round" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is furry and blue then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All white, round things are blue.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Fiona is furry and Fiona is big then Fiona is blue.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "blue" "+"))
If Anne is not round and Anne is not furry then Anne is quiet.
((("Anne" "is" "round" "~") ("Anne" "is" "furry" "~")) -> ("Anne" "is" "quiet" "+"))
Fiona is big.
True
1
proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Anne is not furry.
False
1
inv-proof
[(triple3)]
("Anne" "is" "furry" "-")
triple3
Fiona is blue.
True
3
proof
[(((triple8 triple7) -> rule7))]
("Fiona" "is" "blue" "+")
((triple8 triple7) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule7))]
("Fiona" "is" "blue" "-")
((triple8 triple7) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
True
5
proof
[(((triple8 ((triple8 triple7) -> rule7)) -> rule4))]
("Fiona" "is" "quiet" "+")
((triple8 ((triple8 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not quiet.
False
5
inv-proof
[(((triple8 ((triple8 triple7) -> rule7)) -> rule4))]
("Fiona" "is" "quiet" "-")
((triple8 ((triple8 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple6) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Anne is quiet.[(triple5 OR ((triple3 triple2) -> rule4))] Anne is round.[(triple6 OR ((triple2) -> rule1))] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple10) -> rule3) OR ((((((triple8 triple7) -> rule7)) -> rule1)) -> rule3))] Fiona is round.[(triple10 OR ((((triple8 triple7) -> rule7)) -> rule1))] @1: Fiona is blue.[(((triple8 triple7) -> rule7))] @2: Fiona is quiet.[(((triple8 ((triple8 triple7) -> rule7)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
((triple6) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple3 triple2) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple10) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple8 triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((((triple8 triple7) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8 triple7) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8 ((triple8 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2