Anne is white. Fiona is furry. Fiona is white. All smart, white things are green. All green things are furry. All white things are smart.
Anne is white.
("Anne" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All smart, white things are green.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All white things are smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "white" "-")
triple3
Anne is smart.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "smart" "-")
((triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule1))]
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple3) -> rule3) triple3) -> rule1))]
("Fiona" "is" "green" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Anne is furry.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
("Anne" "is" "furry" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is not furry.
False
5
inv-proof
[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
("Anne" "is" "furry" "-")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is white.[(triple1)] Fiona is furry.[(triple2 OR ((((((triple3) -> rule3) triple3) -> rule1)) -> rule2))] Fiona is white.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is smart.[(((triple3) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3) triple1) -> rule1))] Fiona is green.[(((((triple3) -> rule3) triple3) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3