Anne is nice. Gary is furry. Gary is red. Gary is young. Harry is furry. Harry is nice. Harry is not rough. If Gary is young and Gary is nice then Gary is not green. Young, rough people are green. If someone is round and young then they are green. If someone is red then they are furry. If Harry is furry and Harry is not red then Harry is green. If Harry is furry then Harry is round. All red, green people are nice. Young, red people are nice.
Anne is nice.
("Anne" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
If Gary is young and Gary is nice then Gary is not green.
((("Gary" "is" "young" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "green" "-"))
Young, rough people are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Harry is furry and Harry is not red then Harry is green.
((("Harry" "is" "furry" "+") ("Harry" "is" "red" "~")) -> ("Harry" "is" "green" "+"))
If Harry is furry then Harry is round.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "round" "+"))
All red, green people are nice.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Young, red people are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple5)]
("Harry" "is" "furry" "-")
triple5
Gary is nice.
True
3
proof
[(((triple4 triple3) -> rule8))]
("Gary" "is" "nice" "+")
((triple4 triple3) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple4 triple3) -> rule8))]
("Gary" "is" "nice" "-")
((triple4 triple3) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not green.
True
5
proof
[(((triple4 ((triple4 triple3) -> rule8)) -> rule1))]
("Gary" "is" "green" "-")
((triple4 ((triple4 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
False
5
inv-proof
[(((triple4 ((triple4 triple3) -> rule8)) -> rule1))]
("Gary" "is" "green" "+")
((triple4 ((triple4 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "furry" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
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 nice.[(triple1)] Gary is furry.[(triple2 OR ((triple3) -> rule4))] Gary is red.[(triple3)] Gary is young.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is not rough.[(triple7)] @1: Gary is nice.[(((triple4 triple3) -> rule8))] Harry is round.[(((triple5) -> rule6))] @2: Gary is not green.[(((triple4 ((triple4 triple3) -> rule8)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple3) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is not rough.
("Harry" "is" "rough" "-")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple4 triple3) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple5) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple4 ((triple4 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2