Bob is rough. Erin is young. Gary is big. White, blue things are quiet. All young, quiet things are rough. All young, white things are red.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
White, blue things are quiet.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All young, quiet things are rough.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All young, white things are red.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is rough.[(triple1)] Erin is young.[(triple2)] Gary is big.[(triple3)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3