Anne is not cold. Anne is nice. Anne is smart. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is young. Gary is green. Gary is not smart. If something is green then it is cold.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Fiona is young.
True
1
proof
[(triple8)]
("Fiona" "is" "young" "+")
triple8
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Gary is cold.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "cold" "-")
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is nice.[(triple2)] Anne is not cold.[(triple1)] Anne is smart.[(triple3)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not cold.[(triple4)] Fiona is not nice.[(triple7)] Fiona is young.[(triple8)] Gary is green.[(triple9)] Gary is not smart.[(triple10)] @1: Gary is cold.[(((triple9) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1