Red Alan is what folks call him, because he is quite red. Bob is very nice to people, but he's also rather big. Everyone noticed how round and nice Harry was. He was kind, and everyone thought he was green and big. A big person who also feels blue and a bit green are usually wearing red. A person that is cold, blue and nice is also considered to be round. If a kind person is also young and round shaped, they will be colored blue. I know anyone I meet who is big, nice, and round will be young. Invariably, any young person whose skin appears rough and green is bound to be quite big. A nice and young aged person will definitely be green in color.
Alan is red.
("Alan" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple5)]
("Harry" "is" "nice" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Harry is young.
True
4
proof
[(((triple8 triple5 triple4) -> rule4))]
("Harry" "is" "young" "+")
((triple8 triple5 triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
4
inv-proof
[(((triple8 triple5 triple4) -> rule4))]
("Harry" "is" "young" "-")
((triple8 triple5 triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
True
7
proof
[(((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3))]
("Harry" "is" "blue" "+")
((triple6 ((triple8 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not blue.
False
7
inv-proof
[(((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3))]
("Harry" "is" "blue" "-")
((triple6 ((triple8 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
True
10
proof
[(((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) triple7) -> rule1) OR ((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 ((triple8 triple5 triple4) -> rule4)) -> rule6)) -> rule1))]
("Harry" "is" "red" "+")
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple5 ((triple8 triple5 triple4) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not red.
False
10
inv-proof
[(((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) triple7) -> rule1) OR ((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 ((triple8 triple5 triple4) -> rule4)) -> rule6)) -> rule1))]
("Harry" "is" "red" "-")
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple5 ((triple8 triple5 triple4) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is red.[(triple1)] Bob is big.[(triple3)] Bob is nice.[(triple2)] Harry is big.[(triple8)] Harry is green.[(triple7 OR ((triple5 ((triple8 triple5 triple4) -> rule4)) -> rule6))] Harry is kind.[(triple6)] Harry is nice.[(triple5)] Harry is round.[(triple4)] @1: Harry is young.[(((triple8 triple5 triple4) -> rule4))] @2: Harry is blue.[(((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3))] @3: Harry is red.[(((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) triple7) -> rule1) OR ((triple8 ((triple6 ((triple8 triple5 triple4) -> rule4) triple4) -> rule3) ((triple5 ((triple8 triple5 triple4) -> rule4)) -> rule6)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple5 ((triple8 triple5 triple4) -> (rule4 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple5 triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple6 ((triple8 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple8 ((triple6 ((triple8 triple5 triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple5 ((triple8 triple5 triple4) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Red Alan is what folks call him, because he is quite red.
Bob is very nice to people, but he's also rather big.
Everyone noticed how round and nice Harry was; He was kind, and everyone thought he was green and big.
A big person who also feels blue and a bit green are usually wearing red.
A person that is cold, blue and nice is also considered to be round.
If a kind person is also young and round shaped, they will be colored blue.
I know anyone I meet who is big, nice, and round will be young.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
A nice and young aged person will definitely be green in color.