Anne is cold. Anne is green. Anne is quiet. Anne is not white. Fiona is cold. Fiona is nice. Fiona is quiet. Quiet things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not white.
("Anne" "is" "white" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Fiona is cold.
True
1
proof
[(triple5)]
("Fiona" "is" "cold" "+")
triple5
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Anne is smart.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not white.[(triple4)] Anne is quiet.[(triple3)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)] @1: Anne is smart.[(((triple3) -> rule1))] Fiona is smart.[(((triple7) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1