Anne is blue. Anne is cold. Anne is red. Anne is smart. Anne is white. Anne is not young. Dave is blue. Dave is not cold. Dave is red. Dave is round. Dave is smart. Fiona is blue. Fiona is red. Fiona is not smart. Fiona is white. Smart things are blue. Young, red things are blue. If something is red and not white then it is smart. If something is round and not red then it is smart. If something is white and not red then it is not smart. All white things are round. White things are round. If something is white and round then it is cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Young, red things are blue.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is red and not white then it is smart.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "smart" "+"))
If something is round and not red then it is smart.
((("something" "is" "round" "+") ("something" "is" "red" "~")) -> ("something" "is" "smart" "+"))
If something is white and not red then it is not smart.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "smart" "-"))
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is white and round then it is cold.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Fiona is not smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "-")
triple14
Fiona is not blue.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "blue" "-")
triple12
Anne is round.
True
2
proof
[(((triple5) -> rule6) OR ((triple5) -> rule7))]
("Anne" "is" "round" "+")
((triple5) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple5) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple5) -> rule6) OR ((triple5) -> rule7))]
("Anne" "is" "round" "-")
((triple5) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple5) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is cold.
True
4
proof
[(((triple15 ((triple15) -> rule6)) -> rule8) OR ((triple15 ((triple15) -> rule7)) -> rule8))]
("Fiona" "is" "cold" "+")
((triple15 ((triple15) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple15 ((triple15) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((triple15 ((triple15) -> rule6)) -> rule8) OR ((triple15 ((triple15) -> rule7)) -> rule8))]
("Fiona" "is" "cold" "-")
((triple15 ((triple15) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple15 ((triple15) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is cold.[(triple2 OR ((triple5 ((triple5) -> rule6)) -> rule8) OR ((triple5 ((triple5) -> rule7)) -> rule8))] Anne is not young.[(triple6)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Dave is blue.[(triple7 OR ((triple11) -> rule1))] Dave is not cold.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is not smart.[(triple14)] Fiona is red.[(triple13)] Fiona is white.[(triple15)] @1: Anne is round.[(((triple5) -> rule6) OR ((triple5) -> rule7))] Fiona is round.[(((triple15) -> rule6) OR ((triple15) -> rule7))] @2: Fiona is cold.[(((triple15 ((triple15) -> rule6)) -> rule8) OR ((triple15 ((triple15) -> rule7)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((triple5 ((triple5) -> (rule7 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not young.
("Anne" "is" "young" "-")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple7
((triple11) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Anne is round.
("Anne" "is" "round" "+")
((triple5) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple5) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple15) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple15) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple15 ((triple15) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple15 ((triple15) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2