Anne is not cold. Anne is furry. Anne is kind. Anne is not red. Anne is rough. Anne is young. Erin is furry. Erin is not kind. Erin is not red. Erin is rough. Erin is not white. Harry is furry. Harry is not kind. Harry is red. Harry is not white. Harry is young. If Harry is not white then Harry is not cold. If someone is white then they are cold. All cold, white people are rough. If Harry is kind and Harry is not furry then Harry is young. If Erin is young then Erin is not kind. Rough, cold people are not red. Rough, white people are not red. All red people are young.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If Harry is not white then Harry is not cold.
((("Harry" "is" "white" "~")) -> ("Harry" "is" "cold" "-"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All cold, white people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If Harry is kind and Harry is not furry then Harry is young.
((("Harry" "is" "kind" "+") ("Harry" "is" "furry" "~")) -> ("Harry" "is" "young" "+"))
If Erin is young then Erin is not kind.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "kind" "-"))
Rough, cold people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "-"))
Rough, white people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "-"))
All red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple16 OR ((triple14) -> rule8))]
("Harry" "is" "young" "+")
triple16
((triple14) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is red.
False
1
inv-proof
[(triple9)]
("Erin" "is" "red" "+")
triple9
Harry is not cold.
True
2
proof
[(((triple15) -> rule1))]
("Harry" "is" "cold" "-")
((triple15) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is cold.
False
2
inv-proof
[(((triple15) -> rule1))]
("Harry" "is" "cold" "+")
((triple15) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not cold.[(triple1)] Anne is not red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Erin is furry.[(triple7)] Erin is not kind.[(triple8)] Erin is not red.[(triple9)] Erin is not white.[(triple11)] Erin is rough.[(triple10)] Harry is furry.[(triple12)] Harry is not kind.[(triple13)] Harry is not white.[(triple15)] Harry is red.[(triple14)] Harry is young.[(triple16 OR ((triple14) -> rule8))] @1: Harry is not cold.[(((triple15) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
triple8
Erin is not red.
("Erin" "is" "red" "-")
triple9
Erin is not white.
("Erin" "is" "white" "-")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple13
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple14) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
((triple15) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1