Charlie is white. Dave is blue. Dave is furry. Gary is not blue. Gary is furry. Gary is green. Gary is round. Gary is white. Harry is not furry. Harry is not red. All round things are furry. Red, green things are not furry. If Charlie is round then Charlie is not blue. All young things are green. All blue, green things are white. If Gary is green and Gary is round then Gary is young.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not red.
("Harry" "is" "red" "-")
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Red, green things are not furry.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If Charlie is round then Charlie is not blue.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "blue" "-"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All blue, green things are white.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Gary is green and Gary is round then Gary is young.
((("Gary" "is" "green" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "young" "+"))
Harry is not furry.
True
1
proof
[(triple9)]
("Harry" "is" "furry" "-")
triple9
Gary is blue.
False
1
inv-proof
[(triple4)]
("Gary" "is" "blue" "+")
triple4
Gary is young.
True
3
proof
[(((triple6 triple7) -> rule6))]
("Gary" "is" "young" "+")
((triple6 triple7) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple6 triple7) -> rule6))]
("Gary" "is" "young" "-")
((triple6 triple7) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "white" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Gary is furry.[(triple5 OR ((triple7) -> rule1))] Gary is green.[(triple6)] Gary is not blue.[(triple4)] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is not furry.[(triple9)] Harry is not red.[(triple10)] @1: Gary is young.[(((triple6 triple7) -> rule6))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not blue.
("Gary" "is" "blue" "-")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is not furry.
("Harry" "is" "furry" "-")
triple9
Harry is not red.
("Harry" "is" "red" "-")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple6 triple7) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1