Charlie was born only a few years ago so he is young. Having a round body that is very big makes Eric a kind hearted person that often feels green. Harry is blue and cold. A rough and kind person is big. A person who is green and rough and round is also young. Get out of the way if a red and green person walks up to you because they are rough. If you are big and young then your are also nice. I've noticed that big people with blue and green skin tend to be young. People who are considered rough, blue, and nice, are also green. Anyone will tell you the kind and the big are also rough.
Charlie is young.
("Charlie" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Eric is big.
True
1
proof
[(triple5)]
("Eric" "is" "big" "+")
triple5
Eric is not big.
False
1
inv-proof
[(triple5)]
("Eric" "is" "big" "-")
triple5
Eric is rough.
True
3
proof
[(((triple5 triple3) -> rule7))]
("Eric" "is" "rough" "+")
((triple5 triple3) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("Eric" "is" "rough" "-")
((triple5 triple3) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
True
6
proof
[(((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2))]
("Eric" "is" "young" "+")
((triple2 ((triple5 triple3) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2))]
("Eric" "is" "young" "-")
((triple2 ((triple5 triple3) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
True
8
proof
[(((triple5 ((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2)) -> rule4))]
("Eric" "is" "nice" "+")
((triple5 ((triple2 ((triple5 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not nice.
False
8
inv-proof
[(((triple5 ((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2)) -> rule4))]
("Eric" "is" "nice" "-")
((triple5 ((triple2 ((triple5 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is young.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is kind.[(triple3)] Eric is round.[(triple2)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] @1: Eric is rough.[(((triple5 triple3) -> rule7))] @2: Eric is young.[(((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2))] @3: Eric is nice.[(((triple5 ((triple2 ((triple5 triple3) -> rule7) triple4) -> rule2)) -> rule4))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 triple3) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple2 ((triple5 triple3) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((triple2 ((triple5 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie was born only a few years ago so he is young.
Having a round body that is very big makes Eric a kind hearted person that often feels green.
Harry is blue and cold.
A rough and kind person is big.
A person who is green and rough and round is also young.
Get out of the way if a red and green person walks up to you because they are rough.
If you are big and young then your are also nice.
I've noticed that big people with blue and green skin tend to be young.
People who are considered rough, blue, and nice, are also green.
Anyone will tell you the kind and the big are also rough.