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