Anne is not kind. Anne is red. Anne is young. Erin is big. Erin is red. Erin is not round. Erin is young. Gary is not nice. Harry is nice. Harry is young. If Gary is round then Gary is kind. All green, kind people are big. If Erin is round and Erin is not kind then Erin is not nice. If someone is kind and not round then they are green. If someone is young and not kind then they are not nice. If someone is big and not kind then they are nice.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is round then Gary is kind.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "kind" "+"))
All green, kind people are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Erin is round and Erin is not kind then Erin is not nice.
((("Erin" "is" "round" "+") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "nice" "-"))
If someone is kind and not round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "+"))
If someone is young and not kind then they are not nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "-"))
If someone is big and not kind then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
Gary is not nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Gary is nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Anne is not nice.
True
3
proof
[(((triple3 triple1) -> rule5))]
("Anne" "is" "nice" "-")
((triple3 triple1) -> (rule5 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is nice.
False
3
inv-proof
[(((triple3 triple1) -> rule5))]
("Anne" "is" "nice" "+")
((triple3 triple1) -> (rule5 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "nice" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is not kind.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Erin is big.[(triple4)] Erin is not round.[(triple6)] Erin is red.[(triple5)] Erin is young.[(triple7)] Gary is not nice.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Anne is not nice.[(((triple3 triple1) -> rule5))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is not nice.
("Anne" "is" "nice" "-")
((triple3 triple1) -> (rule5 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1