Anne is furry. Anne is green. Anne is not young. Fiona is blue. Fiona is furry. Fiona is rough. Gary is big. Gary is not blue. Gary is not green. Gary is white. Harry is not big. Harry is blue. Harry is furry. Harry is not green. Harry is white. If someone is furry and not blue then they are not big. All blue, furry people are white. All rough people are white. If Fiona is not green then Fiona is not rough. If Anne is furry and Anne is not blue then Anne is green. White, blue people are rough. If Gary is rough then Gary is not green. If Harry is green and Harry is blue then Harry is not young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is not green.
("Gary" "is" "green" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is furry and not blue then they are not big.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "-"))
All blue, furry people are white.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If Fiona is not green then Fiona is not rough.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "rough" "-"))
If Anne is furry and Anne is not blue then Anne is green.
((("Anne" "is" "furry" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "green" "+"))
White, blue people are rough.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If Gary is rough then Gary is not green.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "green" "-"))
If Harry is green and Harry is blue then Harry is not young.
((("Harry" "is" "green" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "young" "-"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Harry is not furry.
False
1
inv-proof
[(triple13)]
("Harry" "is" "furry" "-")
triple13
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6 OR ((((triple4 triple5) -> rule2) triple4) -> rule6))] Gary is big.[(triple7)] Gary is not blue.[(triple8)] Gary is not green.[(triple9)] Gary is white.[(triple10)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is not big.[(triple11)] Harry is not green.[(triple14)] Harry is white.[(triple15 OR ((triple12 triple13) -> rule2))] @1: Fiona is white.[(((triple6) -> rule3) OR ((triple4 triple5) -> rule2))] Harry is rough.[(((triple15 triple12) -> rule6) OR ((((triple12 triple13) -> rule2) triple12) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((((triple4 triple5) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not big.
("Harry" "is" "big" "-")
triple11
Harry is not green.
("Harry" "is" "green" "-")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple12 triple13) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple6) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple4 triple5) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple15 triple12) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple12 triple13) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2