Charlie is rough. Charlie is round. Fiona is round. Fiona is smart. Gary is red. Gary is white. Gary is young. Smart, white people are quiet. Quiet, red people are rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Smart, white people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, red people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Fiona is smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Fiona is round.[(triple3)] Fiona is smart.[(triple4)] Gary is red.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7