Big Bob is cold but kind and always green. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. If you met Gary you will see that he is round and red, but he is cold. Red Harry is what folks call him, because he is quite red. A green person who is cold and round is also big. It is true that kind people who have become cold and blue and survived are necessarily big. A big and round shaped person that is also cold will be blue in color. If you meet a kind green person with a round shape they will also be young. People who are red, young, and round are also blue. When someone is big with rough skin they will look red. A person with the qualities of being cold and being red will also be a person that is green.
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Eric is red.
True
1
proof
[(triple6)]
("Eric" "is" "red" "+")
triple6
Eric is not rough.
False
1
inv-proof
[(triple5)]
("Eric" "is" "rough" "-")
triple5
Gary is green.
True
3
proof
[(((triple9 triple8) -> rule7))]
("Gary" "is" "green" "+")
((triple9 triple8) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple9 triple8) -> rule7))]
("Gary" "is" "green" "-")
((triple9 triple8) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
True
6
proof
[(((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1))]
("Gary" "is" "big" "+")
((triple9 triple7 ((triple9 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not big.
False
6
inv-proof
[(((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1))]
("Gary" "is" "big" "-")
((triple9 triple7 ((triple9 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
True
9
proof
[(((triple9 ((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1) triple7) -> rule3))]
("Gary" "is" "blue" "+")
((triple9 ((triple9 triple7 ((triple9 triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not blue.
False
9
inv-proof
[(((triple9 ((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1) triple7) -> rule3))]
("Gary" "is" "blue" "-")
((triple9 ((triple9 triple7 ((triple9 triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "green" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is red.[(triple10)] @1: Gary is green.[(((triple9 triple8) -> rule7))] @2: Gary is big.[(((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1))] @3: Gary is blue.[(((triple9 ((triple9 triple7 ((triple9 triple8) -> rule7)) -> rule1) triple7) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple8) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple7 ((triple9 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 ((triple9 triple7 ((triple9 triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Big Bob is cold but kind and always green.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
If you met Gary you will see that he is round and red, but he is cold.
Red Harry is what folks call him, because he is quite red.
A green person who is cold and round is also big.
It is true that kind people who have become cold and blue and survived are necessarily big.
A big and round shaped person that is also cold will be blue in color.
If you meet a kind green person with a round shape they will also be young.
People who are red, young, and round are also blue.
When someone is big with rough skin they will look red.
A person with the qualities of being cold and being red will also be a person that is green.