Alan is a kind and red colored guy. They always call him rough Charlie. Even though Eric is green with envy he is nice with rosy red cheeks. Harry is a person who is young and also rough. He's also someone who is big and blue. It is true that kind people who have become cold and blue and survived are necessarily big. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. You can count on someone who is red and green being young. Young people tend to rough and nice, but they are also red. A person who is very round is nice but also quite rough. Unfortunately, all the young people who are considered green are all round. When someone is big, young and rough, they can be cold.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Eric is nice.
True
1
proof
[(triple5)]
("Eric" "is" "nice" "+")
triple5
Eric is not green.
False
1
inv-proof
[(triple6)]
("Eric" "is" "green" "-")
triple6
Harry is cold.
True
4
proof
[(((triple8 triple7 triple10) -> rule7))]
("Harry" "is" "cold" "+")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
4
inv-proof
[(((triple8 triple7 triple10) -> rule7))]
("Harry" "is" "cold" "-")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Eric is round.
True
5
proof
[(((triple6 ((triple4 triple6) -> rule3)) -> rule6))]
("Eric" "is" "round" "+")
((triple6 ((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not round.
False
5
inv-proof
[(((triple6 ((triple4 triple6) -> rule3)) -> rule6))]
("Eric" "is" "round" "-")
((triple6 ((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
True
7
proof
[(((((triple6 ((triple4 triple6) -> rule3)) -> rule6) triple5) -> rule5))]
("Eric" "is" "rough" "+")
((((triple6 ((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not rough.
False
7
inv-proof
[(((((triple6 ((triple4 triple6) -> rule3)) -> rule6) triple5) -> rule5))]
("Eric" "is" "rough" "-")
((((triple6 ((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is rough.[(triple3)] Eric is green.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Eric is young.[(((triple4 triple6) -> rule3))] Harry is cold.[(((triple8 triple7 triple10) -> rule7))] @2: Eric is round.[(((triple6 ((triple4 triple6) -> rule3)) -> rule6))] @3: Eric is rough.[(((((triple6 ((triple4 triple6) -> rule3)) -> rule6) triple5) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
((triple4 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple6 ((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Alan is a kind and red colored guy.
They always call him rough Charlie.
Even though Eric is green with envy he is nice with rosy red cheeks.
Harry is a person who is young and also rough; He's also someone who is big and blue.
It is true that kind people who have become cold and blue and survived are necessarily big.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
You can count on someone who is red and green being young.
Young people tend to rough and nice, but they are also red.
A person who is very round is nice but also quite rough.
Unfortunately, all the young people who are considered green are all round.
When someone is big, young and rough, they can be cold.