Alan has green teeth and rough skin. People also notice his blue eyes. I knew Eric was young, and rough, but he surprised me with how cold and blue he acted. In the snow sits Gary, crying from being cold. That man standing next to you with a big round body goes by the name of Harry. It's a fact that young people are red people. Anyone that is a red, nice soul will be big, too. A rough and round person is also a big person. A person fitting the description of rough, cold and red will also be a nice person. Blue people who are kind and nice are actually quite rough. If a young person knows he is big and round, then he will be blue. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Harry is big.
True
1
proof
[(triple10)]
("Harry" "is" "big" "+")
triple10
Harry is not round.
False
1
inv-proof
[(triple9)]
("Harry" "is" "round" "-")
triple9
Eric is red.
True
2
proof
[(((triple4) -> rule1))]
("Eric" "is" "red" "+")
((triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("Eric" "is" "red" "-")
((triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
True
5
proof
[(((triple5 triple6 ((triple4) -> rule1)) -> rule4))]
("Eric" "is" "nice" "+")
((triple5 triple6 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple5 triple6 ((triple4) -> rule1)) -> rule4))]
("Eric" "is" "nice" "-")
((triple5 triple6 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
8
proof
[(((((triple4) -> rule1) ((triple5 triple6 ((triple4) -> rule1)) -> rule4)) -> rule2))]
("Eric" "is" "big" "+")
((((triple4) -> (rule1 % int3)) ((triple5 triple6 ((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((triple4) -> rule1) ((triple5 triple6 ((triple4) -> rule1)) -> rule4)) -> rule2))]
("Eric" "is" "big" "-")
((((triple4) -> (rule1 % int3)) ((triple5 triple6 ((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is rough.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Gary is cold.[(triple8)] Harry is big.[(triple10)] Harry is round.[(triple9)] @1: Eric is red.[(((triple4) -> rule1))] @2: Eric is nice.[(((triple5 triple6 ((triple4) -> rule1)) -> rule4))] @3: Eric is big.[(((((triple4) -> rule1) ((triple5 triple6 ((triple4) -> rule1)) -> rule4)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
((triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 triple6 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple4) -> (rule1 % int3)) ((triple5 triple6 ((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan has green teeth and rough skin; People also notice his blue eyes.
I knew Eric was young, and rough, but he surprised me with how cold and blue he acted.
In the snow sits Gary, crying from being cold.
That man standing next to you with a big round body goes by the name of Harry.
It's a fact that young people are red people.
Anyone that is a red, nice soul will be big, too.
A rough and round person is also a big person.
A person fitting the description of rough, cold and red will also be a nice person.
Blue people who are kind and nice are actually quite rough.
If a young person knows he is big and round, then he will be blue.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.