Bob is big. Bob is not rough. Bob is round. Bob is not young. Charlie is big. Charlie is kind. Charlie is not quiet. Charlie is rough. Charlie is round. Charlie is young. Gary is big. Gary is kind. All cold things are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Charlie is quiet.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "quiet" "+")
triple7
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is not rough.[(triple2)] Bob is not young.[(triple4)] Bob is round.[(triple3)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is not quiet.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is big.[(triple11)] Gary is kind.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12