Charlie is not quiet. Charlie is rough. Charlie is round. Charlie is white. Gary is big. Gary is furry. Gary is kind. Gary is quiet. Gary is not rough. Gary is round. All rough, white people are round. If someone is furry and not quiet then they are kind.
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
All rough, white people are round.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and not quiet then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "kind" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Gary is not round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is not quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3 OR ((triple2 triple4) -> rule1))] Charlie is white.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is not rough.[(triple9)] Gary is quiet.[(triple8)] Gary is round.[(triple10)]
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple2 triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not rough.
("Gary" "is" "rough" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple10