Charlie is red. Gary is not quiet. If Gary is not blue then Gary is not red. If someone is blue and not green then they are big. If Gary is young then Gary is kind. If Charlie is kind and Charlie is not red then Charlie is young. Blue, red people are young. Blue, big people are not young. If someone is blue then they are young. If Charlie is red then Charlie is kind.
Charlie is red.
("Charlie" "is" "red" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
If Gary is not blue then Gary is not red.
((("Gary" "is" "blue" "~")) -> ("Gary" "is" "red" "-"))
If someone is blue and not green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
If Gary is young then Gary is kind.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "kind" "+"))
If Charlie is kind and Charlie is not red then Charlie is young.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "red" "~")) -> ("Charlie" "is" "young" "+"))
Blue, red people are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Blue, big people are not young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Charlie is red then Charlie is kind.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Gary is quiet.
False
1
inv-proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Charlie is kind.
True
2
proof
[(((triple1) -> rule8))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule8))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is red.[(triple1)] Gary is not quiet.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule8))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1