Eric is colored red and green. He is a nice young man and is also very big. As much as Fred is nice, he is also cold and often feels blue. Gary was born only a few years ago so he is young. When you see Harry, you will notice he is cold, big and kind. Any green person is a round person. Any cold, round, green person is going to be young at the same time. I've noticed that someone who is big and acts cold towards others is green as well. When someone is nice, dressing in red, they can be blue because they are cold. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Anybody that is rough, cold and nice will be round at the same time. People who are nice and kind are somewhat young.
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Eric is not nice.
False
1
inv-proof
[(triple3)]
("Eric" "is" "nice" "-")
triple3
Eric is round.
True
2
proof
[(((triple4) -> rule1))]
("Eric" "is" "round" "+")
((triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
2
inv-proof
[(((triple4) -> rule1))]
("Eric" "is" "round" "-")
((triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is round.
True
4
proof
[(((((triple11 triple12) -> rule3)) -> rule1))]
("Harry" "is" "round" "+")
((((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple11 triple12) -> rule3)) -> rule1))]
("Harry" "is" "round" "-")
((((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
True
9
proof
[(((triple11 ((((triple11 triple12) -> rule3)) -> rule1) ((triple11 triple12) -> rule3)) -> rule2))]
("Harry" "is" "young" "+")
((triple11 ((((triple11 triple12) -> (rule3 % int3))) -> (rule1 % int2)) ((triple11 triple12) -> (rule3 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not young.
False
9
inv-proof
[(((triple11 ((((triple11 triple12) -> rule3)) -> rule1) ((triple11 triple12) -> rule3)) -> rule2))]
("Harry" "is" "young" "-")
((triple11 ((((triple11 triple12) -> (rule3 % int3))) -> (rule1 % int2)) ((triple11 triple12) -> (rule3 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is young.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Gary is young.[(triple9)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] @1: Eric is round.[(((triple4) -> rule1))] Harry is green.[(((triple11 triple12) -> rule3))] @2: Harry is round.[(((((triple11 triple12) -> rule3)) -> rule1))] @3: Harry is young.[(((triple11 ((((triple11 triple12) -> rule3)) -> rule1) ((triple11 triple12) -> rule3)) -> rule2))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Eric is round.
("Eric" "is" "round" "+")
((triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple11 ((((triple11 triple12) -> (rule3 % int3))) -> (rule1 % int2)) ((triple11 triple12) -> (rule3 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Eric is colored red and green; He is a nice young man and is also very big.
As much as Fred is nice, he is also cold and often feels blue.
Gary was born only a few years ago so he is young.
When you see Harry, you will notice he is cold, big and kind.
Any green person is a round person.
Any cold, round, green person is going to be young at the same time.
I've noticed that someone who is big and acts cold towards others is green as well.
When someone is nice, dressing in red, they can be blue because they are cold.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Anybody that is rough, cold and nice will be round at the same time.
People who are nice and kind are somewhat young.