Gary is rough. If someone is rough then they are round. Red, rough people are quiet. All kind, big people are quiet. All big, red people are quiet. If someone is smart then they are quiet. If someone is rough then they are big. All quiet, big people are red. All kind people are rough.
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Red, rough people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All kind, big people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All big, red people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All quiet, big people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple1)]
("Gary" "is" "rough" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple1)]
("Gary" "is" "rough" "-")
triple1
Gary is big.
True
2
proof
[(((triple1) -> rule6))]
("Gary" "is" "big" "+")
((triple1) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "round" "-")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is quiet.
Unknown
rconc
[@3: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule3 <- FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Gary is rough.[(triple1)] @1: Gary is big.[(((triple1) -> rule6))] Gary is round.[(((triple1) -> rule1))]
Gary is rough.
("Gary" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
((triple1) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1