Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Gary is green. Gary is kind. Gary is not red. Gary is round. Gary is smart. Gary is young. Kind people are furry. If someone is red then they are not smart. If someone is kind then they are round.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is red then they are not smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Charlie is not smart.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is not red.[(triple7)] Gary is round.[(triple8 OR ((triple6) -> rule3))] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Charlie is not smart.[(((triple3) -> rule2))] Gary is furry.[(((triple6) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is not red.
("Gary" "is" "red" "-")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
((triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1