Bob is big. Bob is kind. Bob is not rough. Bob is white. Charlie is kind. Gary is not big. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is not rough. Gary is white. All rough people are not kind. If someone is nice and kind then they are white. All big, quiet people are white. If Gary is kind then Gary is quiet. Furry people are quiet. If Charlie is kind then Charlie is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is white.
("Gary" "is" "white" "+")
All rough people are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
If someone is nice and kind then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All big, quiet people are white.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Gary is kind then Gary is quiet.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "quiet" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is kind then Charlie is white.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "white" "+"))
Charlie is kind.
True
1
proof
[(triple5)]
("Charlie" "is" "kind" "+")
triple5
Gary is rough.
False
1
inv-proof
[(triple11)]
("Gary" "is" "rough" "+")
triple11
Charlie is white.
True
2
proof
[(((triple5) -> rule6))]
("Charlie" "is" "white" "+")
((triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple5) -> rule6))]
("Charlie" "is" "white" "-")
((triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "quiet" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not rough.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is not big.[(triple6)] Gary is not rough.[(triple11)] Gary is quiet.[(triple10 OR ((triple7) -> rule5) OR ((triple8) -> rule4))] Gary is white.[(triple12 OR ((triple9 triple8) -> rule2))] @1: Charlie is white.[(((triple5) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not rough.
("Bob" "is" "rough" "-")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is not big.
("Gary" "is" "big" "-")
triple6
Gary is not rough.
("Gary" "is" "rough" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple7) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple12
((triple9 triple8) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1