Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is blue. Charlie is nice. Charlie is round. Charlie is young. Gary is nice. If something is nice then it is round.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple6)]
("Charlie" "is" "blue" "+")
triple6
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Gary is round.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "round" "+")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "round" "-")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule1))] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8 OR ((triple7) -> rule1))] Charlie is young.[(triple9)] Gary is nice.[(triple10)] @1: Gary is round.[(((triple10) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
((triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1