Anne is green. Charlie is not kind. Fiona is red. Gary is kind. If something is big then it is not red. If Gary is big then Gary is red. If Charlie is big and Charlie is not round then Charlie is green. If something is furry then it is not green. If something is young then it is not green. If something is big and not red then it is young. Kind things are young. All big things are young.
Anne is green.
("Anne" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is big then it is not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
If Gary is big then Gary is red.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "red" "+"))
If Charlie is big and Charlie is not round then Charlie is green.
((("Charlie" "is" "big" "+") ("Charlie" "is" "round" "~")) -> ("Charlie" "is" "green" "+"))
If something is furry then it is not green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
If something is young then it is not green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
If something is big and not red then it is young.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Charlie is not kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Gary is young.
True
2
proof
[(((triple4) -> rule7))]
("Gary" "is" "young" "+")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple4) -> rule7))]
("Gary" "is" "young" "-")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "young" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "young" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is green.[(triple1)] Charlie is not kind.[(triple2)] Fiona is red.[(triple3)] Gary is kind.[(triple4)] @1: Gary is young.[(((triple4) -> rule7))] @2: Gary is not green.[(((((triple4) -> rule7)) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2