From a certain angle Bob is blue but he is young so maybe that will go away. Charlie is kind and round. Being round makes him a bit blue. Gary is interestingly colored red and blue, and is also very kind. Round, blue, and green people are poften rough. A person who is nice and green with envy is round. When someone is young, they can be cold but kind. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. If a person is young and very kind then they will be rather big. I've noticed that big people with blue and green skin tend to be young. Take a drive and find a kind and blue driver, that means they are also young.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Charlie is young.
True
3
proof
[(((triple4 triple5) -> rule7))]
("Charlie" "is" "young" "+")
((triple4 triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple7 triple8) -> rule7))]
("Gary" "is" "young" "-")
((triple7 triple8) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
True
5
proof
[(((((triple7 triple8) -> rule7) triple7) -> rule5))]
("Gary" "is" "big" "+")
((((triple7 triple8) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is not big.
False
5
inv-proof
[(((((triple4 triple5) -> rule7) triple4) -> rule5))]
("Charlie" "is" "big" "-")
((((triple4 triple5) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
True
10
proof
[(((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7) triple4) -> rule5) triple5) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple4 triple5) -> (rule7 % int3)) ((((triple4 triple5) -> (rule7 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not rough.
False
10
inv-proof
[(((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7) triple4) -> rule5) triple5) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple4 triple5) -> (rule7 % int3)) ((((triple4 triple5) -> (rule7 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is round.[(triple3)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Gary is red.[(triple6)] @1: Charlie is young.[(((triple4 triple5) -> rule7))] Gary is young.[(((triple7 triple8) -> rule7))] @2: Charlie is big.[(((((triple4 triple5) -> rule7) triple4) -> rule5))] Gary is big.[(((((triple7 triple8) -> rule7) triple7) -> rule5))] @3: Charlie is rough.[(((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7) triple4) -> rule5) triple5) -> rule4))] Gary is rough.[(((((triple7 triple8) -> rule7) ((((triple7 triple8) -> rule7) triple7) -> rule5) triple8) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple8) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple5) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple7 triple8) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple4 triple5) -> (rule7 % int3)) ((((triple4 triple5) -> (rule7 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7 triple8) -> (rule7 % int3)) ((((triple7 triple8) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
From a certain angle Bob is blue but he is young so maybe that will go away.
Charlie is kind and round; Being round makes him a bit blue.
Gary is interestingly colored red and blue, and is also very kind.
Round, blue, and green people are poften rough.
A person who is nice and green with envy is round.
When someone is young, they can be cold but kind.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
If a person is young and very kind then they will be rather big.
I've noticed that big people with blue and green skin tend to be young.
Take a drive and find a kind and blue driver, that means they are also young.