Anne is furry. Anne is kind. Anne is rough. Dave is white. Gary is furry. Gary is not green. Gary is kind. Gary is white. Gary is young. Harry is not kind. All young, red things are rough. All rough things are furry. Young things are red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
All young, red things are rough.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Gary is not green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Gary is red.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "red" "+")
((triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple9) -> rule3))]
("Gary" "is" "red" "-")
((triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
True
4
proof
[(((triple9 ((triple9) -> rule3)) -> rule1))]
("Gary" "is" "rough" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((triple9 ((triple9) -> rule3)) -> rule1))]
("Gary" "is" "rough" "-")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
rconc
[@2: Harry is furry.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2))] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Dave is white.[(triple4)] Gary is furry.[(triple5 OR ((((triple9 ((triple9) -> rule3)) -> rule1)) -> rule2))] Gary is kind.[(triple7)] Gary is not green.[(triple6)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is not kind.[(triple10)] @1: Gary is red.[(((triple9) -> rule3))] @2: Gary is rough.[(((triple9 ((triple9) -> rule3)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not green.
("Gary" "is" "green" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is not kind.
("Harry" "is" "kind" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2