Bob grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Charlie is a young and nice man, and he is also very big shaped. Harry is so young and darling he is kind to all the old people on the block. Big people that have a rough demeanor usually feel blue. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. A green person is going to be rough. An individual who is big and nice is also green. A nice person who is downhearted, blue, and green with envy is rough. People who are nice and rough are looked at as kind.
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Charlie is green.
True
3
proof
[(((triple5 triple4) -> rule4))]
("Charlie" "is" "green" "+")
((triple5 triple4) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple5 triple4) -> rule4))]
("Charlie" "is" "green" "-")
((triple5 triple4) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple5 triple4) -> rule4)) -> rule3))]
("Charlie" "is" "rough" "+")
((((triple5 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple5 triple4) -> rule4)) -> rule3))]
("Charlie" "is" "rough" "-")
((((triple5 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
True
6
proof
[(((triple4 ((((triple5 triple4) -> rule4)) -> rule3)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple4 ((((triple5 triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not kind.
False
6
inv-proof
[(((triple4 ((((triple5 triple4) -> rule4)) -> rule3)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple4 ((((triple5 triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is blue.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Harry is kind.[(triple7)] Harry is young.[(triple6)] @1: Charlie is green.[(((triple5 triple4) -> rule4))] @2: Charlie is rough.[(((((triple5 triple4) -> rule4)) -> rule3))] @3: Charlie is blue.[(((triple5 ((((triple5 triple4) -> rule4)) -> rule3)) -> rule1))] Charlie is kind.[(((triple4 ((((triple5 triple4) -> rule4)) -> rule3)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple4) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((((triple5 triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((((triple5 triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Charlie is a young and nice man, and he is also very big shaped.
Harry is so young and darling he is kind to all the old people on the block.
Big people that have a rough demeanor usually feel blue.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
A green person is going to be rough.
An individual who is big and nice is also green.
A nice person who is downhearted, blue, and green with envy is rough.
People who are nice and rough are looked at as kind.