Anne is green. Anne is rough. Erin is kind. Gary is red. Harry is not big. Harry is rough. Harry is round. All big, green things are red. All big things are green. If Harry is big then Harry is round. If something is round and big then it is not kind. Kind things are not rough. If something is green and not red then it is round. All red, big things are round. Big, green things are not round.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
All big, green things are red.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Harry is big then Harry is round.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "round" "+"))
If something is round and big then it is not kind.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
Kind things are not rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "-"))
If something is green and not red then it is round.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
All red, big things are round.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Big, green things are not round.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Harry is big.
False
1
inv-proof
[(triple5)]
("Harry" "is" "big" "+")
triple5
Erin is not rough.
True
2
proof
[(((triple3) -> rule5))]
("Erin" "is" "rough" "-")
((triple3) -> (rule5 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
2
inv-proof
[(((triple3) -> rule5))]
("Erin" "is" "rough" "+")
((triple3) -> (rule5 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Erin is kind.[(triple3)] Gary is red.[(triple4)] Harry is not big.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Erin is not rough.[(((triple3) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
((triple3) -> (rule5 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1