Erin is blue. Erin is cold. Erin is quiet. Erin is not smart. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Smart things are white. If something is white and red then it is quiet.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is white and red then it is quiet.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Fiona is not red.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "red" "-")
triple9
Fiona is white.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "white" "+")
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "white" "-")
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Fiona" "is" "quiet" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Fiona" "is" "quiet" "-")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is not smart.[(triple4)] Erin is quiet.[(triple3)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is white.[(((triple10) -> rule1))] @2: Fiona is quiet.[(((((triple10) -> rule1) triple9) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2