Gary is rough. Gary is round. Gary is smart. If someone is young and smart then they are white. All rough people are cold. If Gary is cold then Gary is round. If Gary is big and Gary is round then Gary is smart. All round people are rough. If someone is young then they are rough. If someone is smart then they are round. If someone is big then they are white.
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is young and smart then they are white.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If Gary is cold then Gary is round.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "round" "+"))
If Gary is big and Gary is round then Gary is smart.
((("Gary" "is" "big" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "smart" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Gary is not smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is rough.[(triple1 OR ((triple2) -> rule5) OR ((((triple3) -> rule7)) -> rule5))] Gary is round.[(triple2 OR ((triple3) -> rule7) OR ((((triple1) -> rule2)) -> rule3))] Gary is smart.[(triple3)] @1: Gary is cold.[(((triple1) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((triple3) -> rule7)) -> rule5)) -> rule2))]
Gary is rough.
("Gary" "is" "rough" "+")
triple1
((triple2) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple2
((triple3) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3