The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. Red Gary is what folks call him, because he is quite red. Harry is a cold young man. He is prone the being blue with sadness because he is green with envy. A green, downhearted, and blue person with red cheeks is big. I've found that people with rough skin tend to be really nice but they also often feel blue. Anybody with big, rough and nice qualities is bound to also be young. People with blue and red skin color are also green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple6)]
("Harry" "is" "young" "-")
triple6
Bob is blue.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "blue" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "blue" "-")
((triple1 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
True
6
proof
[(((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) OR ((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1))]
("Bob" "is" "big" "+")
((((triple1 triple3) -> (rule2 % int2)) triple2 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule2 % int3)) triple2 ((((triple1 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not big.
False
6
inv-proof
[(((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) OR ((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1))]
("Bob" "is" "big" "-")
((((triple1 triple3) -> (rule2 % int2)) triple2 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule2 % int3)) triple2 ((((triple1 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
True
9
proof
[(((((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) triple1 triple3) -> rule3) OR ((((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1) triple1 triple3) -> rule3))]
("Bob" "is" "young" "+")
((((((triple1 triple3) -> (rule2 % int3)) triple2 triple4) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule2 % int4)) triple2 ((((triple1 triple3) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not young.
False
9
inv-proof
[(((((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) triple1 triple3) -> rule3) OR ((((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1) triple1 triple3) -> rule3))]
("Bob" "is" "young" "-")
((((((triple1 triple3) -> (rule2 % int3)) triple2 triple4) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule2 % int4)) triple2 ((((triple1 triple3) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is green.[(triple4 OR ((((triple1 triple3) -> rule2) triple2) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Gary is red.[(triple5)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is young.[(triple6)] @1: Bob is blue.[(((triple1 triple3) -> rule2))] @2: Bob is big.[(((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) OR ((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1))] @3: Bob is young.[(((((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) triple1 triple3) -> rule3) OR ((((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1) triple1 triple3) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple4
((((triple1 triple3) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1 triple3) -> (rule2 % int2)) triple2 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule2 % int3)) triple2 ((((triple1 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple1 triple3) -> (rule2 % int3)) triple2 triple4) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule2 % int4)) triple2 ((((triple1 triple3) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Red Gary is what folks call him, because he is quite red.
Harry is a cold young man; He is prone the being blue with sadness because he is green with envy.
A green, downhearted, and blue person with red cheeks is big.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Anybody with big, rough and nice qualities is bound to also be young.
People with blue and red skin color are also green.