Anne is not blue. Anne is green. Anne is kind. Anne is not red. Anne is rough. Anne is not smart. Erin is not blue. Erin is not kind. Erin is red. Erin is rough. Erin is round. Erin is not smart. Gary is blue. Gary is not kind. Gary is not red. Gary is rough. Green, smart things are rough. If something is red and not round then it is blue. Blue, green things are kind. All kind, round things are green. If something is round then it is not green. All green, smart things are not red.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Green, smart things are rough.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is red and not round then it is blue.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
Blue, green things are kind.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
All kind, round things are green.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is round then it is not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
All green, smart things are not red.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "-"))
Erin is not kind.
True
1
proof
[(triple8)]
("Erin" "is" "kind" "-")
triple8
Gary is not rough.
False
1
inv-proof
[(triple16)]
("Gary" "is" "rough" "-")
triple16
Erin is not green.
True
2
proof
[(((triple11) -> rule5))]
("Erin" "is" "green" "-")
((triple11) -> (rule5 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is green.
False
2
inv-proof
[(((triple11) -> rule5))]
("Erin" "is" "green" "+")
((triple11) -> (rule5 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is not red.[(triple4)] Anne is not smart.[(triple6)] Anne is rough.[(triple5)] Erin is not blue.[(triple7)] Erin is not kind.[(triple8)] Erin is not smart.[(triple12)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Gary is blue.[(triple13)] Gary is not kind.[(triple14)] Gary is not red.[(triple15)] Gary is rough.[(triple16)] @1: Erin is not green.[(((triple11) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
triple8
Erin is not smart.
("Erin" "is" "smart" "-")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is not kind.
("Gary" "is" "kind" "-")
triple14
Gary is not red.
("Gary" "is" "red" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Erin is not green.
("Erin" "is" "green" "-")
((triple11) -> (rule5 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1