Alan always goes out of his way to show that he is kind to people. Eric is rough and cold, but he's young and will get over it. Gary is so big and round, it's hard to tell he is red, green and blue all at once. Harry is rough, but often feels blue. He is pretty young. A big round person is nice. I've found that people with rough skin tend to be really nice but they also often feel blue. Look for the blue and green people, they are kind and will give you directions if you're lost. When someone is kind and their cheeks flame red with embarrassment I know that they are young. A blue and red colored person that is young is also very cold.
Alan is kind.
("Alan" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Eric is not cold.
False
1
inv-proof
[(triple4)]
("Eric" "is" "cold" "-")
triple4
Gary is nice.
True
3
proof
[(((triple5 triple9) -> rule1))]
("Gary" "is" "nice" "+")
((triple5 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Gary" "is" "kind" "-")
((triple8 triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
True
5
proof
[(((((triple8 triple7) -> rule3) triple6) -> rule4))]
("Gary" "is" "young" "+")
((((triple8 triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not young.
False
5
inv-proof
[(((((triple8 triple7) -> rule3) triple6) -> rule4))]
("Gary" "is" "young" "-")
((((triple8 triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
True
8
proof
[(((triple8 ((((triple8 triple7) -> rule3) triple6) -> rule4) triple6) -> rule5))]
("Gary" "is" "cold" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
8
inv-proof
[(((triple8 ((((triple8 triple7) -> rule3) triple6) -> rule4) triple6) -> rule5))]
("Gary" "is" "cold" "-")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Alan is kind.[(triple1)] Eric is cold.[(triple4)] Eric is rough.[(triple3)] Eric is young.[(triple2)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is red.[(triple6)] Gary is round.[(triple5)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is young.[(triple10)] @1: Gary is kind.[(((triple8 triple7) -> rule3))] Gary is nice.[(((triple5 triple9) -> rule1))] @2: Gary is young.[(((((triple8 triple7) -> rule3) triple6) -> rule4))] @3: Gary is cold.[(((triple8 ((((triple8 triple7) -> rule3) triple6) -> rule4) triple6) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple8 triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Eric is rough and cold, but he's young and will get over it.
Gary is so big and round, it's hard to tell he is red, green and blue all at once.
Harry is rough, but often feels blue; He is pretty young.
A big round person is nice.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Look for the blue and green people, they are kind and will give you directions if you're lost.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
A blue and red colored person that is young is also very cold.