Alan is so young and darling he is kind to all the old people on the block. Charlie's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. Even though Fred is rough, he nice but cold and blue. That man standing next to you with a big round body goes by the name of Harry. If you see someone who is red and green they are round, like Santa Claus. A young person with a kind heart and big sized body will be rough around the edges. It's been proven that red, rough people are green as well. A young person with cold, rough skin will be red as well. When a person is blue, cold, and nice, they are also pretty young too.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Fred is young.
True
4
proof
[(((triple10 triple9 triple8) -> rule5))]
("Fred" "is" "young" "+")
((triple10 triple9 triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule5))]
("Fred" "is" "young" "-")
((triple10 triple9 triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
True
7
proof
[(((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4))]
("Fred" "is" "red" "+")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not red.
False
7
inv-proof
[(((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4))]
("Fred" "is" "red" "-")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
True
9
proof
[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3))]
("Fred" "is" "green" "+")
((((((triple10 triple9 triple8) -> (rule5 % int3)) triple7 triple9) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not green.
False
9
inv-proof
[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3))]
("Fred" "is" "green" "-")
((((((triple10 triple9 triple8) -> (rule5 % int3)) triple7 triple9) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is round.
True
17
proof
[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) ((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3)) -> rule1))]
("Fred" "is" "round" "+")
((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) ((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not round.
False
17
inv-proof
[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) ((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3)) -> rule1))]
("Fred" "is" "round" "-")
((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) ((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8)] Fred is rough.[(triple7)] Harry is big.[(triple12)] Harry is round.[(triple11)] @1: Fred is young.[(((triple10 triple9 triple8) -> rule5))] @2: Fred is red.[(((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4))] @3: Fred is green.[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3))] @4: Fred is round.[(((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) ((((((triple10 triple9 triple8) -> rule5) triple7 triple9) -> rule4) triple7) -> rule3)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
((triple10 triple9 triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((((triple10 triple9 triple8) -> (rule5 % int3)) triple7 triple9) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) ((((((triple10 triple9 triple8) -> (rule5 % int4)) triple7 triple9) -> (rule4 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Alan is so young and darling he is kind to all the old people on the block.
Charlie's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
Even though Fred is rough, he nice but cold and blue.
That man standing next to you with a big round body goes by the name of Harry.
If you see someone who is red and green they are round, like Santa Claus.
A young person with a kind heart and big sized body will be rough around the edges.
It's been proven that red, rough people are green as well.
A young person with cold, rough skin will be red as well.
When a person is blue, cold, and nice, they are also pretty young too.