Charlie is big. Charlie is rough. Gary is rough. If Charlie is smart and Charlie is blue then Charlie is young. All smart, young people are white. If someone is rough and blue then they are young. If Gary is young then Gary is blue. If someone is rough then they are smart. Big, young people are rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Charlie is smart and Charlie is blue then Charlie is young.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "young" "+"))
All smart, young people are white.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Gary is young then Gary is blue.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "blue" "+"))
If someone is rough then they are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Big, young people are rough.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule5))] Gary is smart.[(((triple3) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1