Nice, but round, Bob has been said to be cold. Upon meeting Charlie, you'll notice he's green and kind. Gary is big and round man that is looking rather green after seeing some bad mayonnaise. Harry was cold as his rough hands clung to the side of the ship, green with nausea. Even through the worst of it he was still kind. People who are rough around the edges, nice, and a bit blue are young. I've found that people with rough skin tend to be really nice but they also often feel blue. Most of the people that are big and nice with green eyes, will be round. A kind, cold, round person will be nice in addition. It's been proven that red, rough people are green as well. Rough and green people are also nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Harry is nice.
True
3
proof
[(((triple9 triple11) -> rule6))]
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple9 triple11) -> rule6))]
("Harry" "is" "nice" "-")
((triple9 triple11) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
5
proof
[(((triple9 ((triple9 triple11) -> rule6)) -> rule2))]
("Harry" "is" "blue" "+")
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
5
inv-proof
[(((triple9 ((triple9 triple11) -> rule6)) -> rule2))]
("Harry" "is" "blue" "-")
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
True
10
proof
[(((triple9 ((triple9 triple11) -> rule6) ((triple9 ((triple9 triple11) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "young" "+")
((triple9 ((triple9 triple11) -> (rule6 % int3)) ((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not young.
False
10
inv-proof
[(((triple9 ((triple9 triple11) -> rule6) ((triple9 ((triple9 triple11) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "young" "-")
((triple9 ((triple9 triple11) -> (rule6 % int3)) ((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Gary is big.[(triple8)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] @1: Harry is nice.[(((triple9 triple11) -> rule6))] @2: Harry is blue.[(((triple9 ((triple9 triple11) -> rule6)) -> rule2))] @3: Harry is young.[(((triple9 ((triple9 triple11) -> rule6) ((triple9 ((triple9 triple11) -> rule6)) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple9 ((triple9 triple11) -> (rule6 % int3)) ((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Nice, but round, Bob has been said to be cold.
Upon meeting Charlie, you'll notice he's green and kind.
Gary is big and round man that is looking rather green after seeing some bad mayonnaise.
Harry was cold as his rough hands clung to the side of the ship, green with nausea; Even through the worst of it he was still kind.
People who are rough around the edges, nice, and a bit blue are young.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Most of the people that are big and nice with green eyes, will be round.
A kind, cold, round person will be nice in addition.
It's been proven that red, rough people are green as well.
Rough and green people are also nice.