Anne is not green. Anne is kind. Anne is young. Harry is not green. Harry is not kind. Harry is red. Harry is young. Young, kind people are not green. Kind, quiet people are furry. If someone is kind and not rough then they are furry. If someone is kind then they are furry. Green, red people are furry. If someone is young and not rough then they are kind. If someone is rough and young then they are not kind. If Anne is kind and Anne is furry then Anne is young.
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, kind people are not green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
Kind, quiet people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and not rough then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "furry" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Green, red people are furry.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is young and not rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "kind" "+"))
If someone is rough and young then they are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
If Anne is kind and Anne is furry then Anne is young.
((("Anne" "is" "kind" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "young" "+"))
Harry is not kind.
True
1
proof
[(triple5)]
("Harry" "is" "kind" "-")
triple5
Anne is green.
False
1
inv-proof
[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule8) triple2) -> rule1))]
("Anne" "is" "green" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is furry.
True
2
proof
[(((triple2) -> rule4))]
("Anne" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple2) -> rule4))]
("Anne" "is" "furry" "-")
((triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule8) triple2) -> rule1))] Anne is young.[(triple3 OR ((triple2 ((triple2) -> rule4)) -> rule8))] Harry is not green.[(triple4)] Harry is not kind.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Anne is furry.[(((triple2) -> rule4))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
((triple3 triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2 ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Harry is not green.
("Harry" "is" "green" "-")
triple4
Harry is not kind.
("Harry" "is" "kind" "-")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1