Charlie is a man who is both round and rough. Even though Gary is big and round, he is cold much of the time. You should meet Harry, he is big and rough on the football field but also very young in age. A kind person with green and red skin must be big too. When a nice blue person is also red, they get called rough. You make someone round and green, and they'll turn out nice. A green, round, blue male or female will be a big male or female, too. I've noticed that someone with a round shape is also green. As someone can be round and rough, they can also be nice and kind. A human that's round, red and kind will be also be a green human.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Gary is green.
True
2
proof
[(((triple3) -> rule5))]
("Gary" "is" "green" "+")
((triple3) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("Gary" "is" "green" "-")
((triple3) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Charlie is nice.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple1 ((triple1) -> rule5)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
True
7
proof
[(((((triple1 ((triple1) -> rule5)) -> rule3) triple1 triple2) -> rule6))]
("Charlie" "is" "kind" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1 triple2) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not kind.
False
7
inv-proof
[(((((triple1 ((triple1) -> rule5)) -> rule3) triple1 triple2) -> rule6))]
("Charlie" "is" "kind" "-")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1 triple2) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Gary is big.[(triple5)] Gary is cold.[(triple4)] Gary is round.[(triple3)] Harry is big.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Charlie is green.[(((triple1) -> rule5))] Gary is green.[(((triple3) -> rule5))] @2: Charlie is nice.[(((triple1 ((triple1) -> rule5)) -> rule3))] Gary is nice.[(((triple3 ((triple3) -> rule5)) -> rule3))] @3: Charlie is kind.[(((((triple1 ((triple1) -> rule5)) -> rule3) triple1 triple2) -> rule6))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple3) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1 triple2) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is a man who is both round and rough.
Even though Gary is big and round, he is cold much of the time.
You should meet Harry, he is big and rough on the football field but also very young in age.
A kind person with green and red skin must be big too.
When a nice blue person is also red, they get called rough.
You make someone round and green, and they'll turn out nice.
A green, round, blue male or female will be a big male or female, too.
I've noticed that someone with a round shape is also green.
As someone can be round and rough, they can also be nice and kind.
A human that's round, red and kind will be also be a green human.