Charlie was looking rather round and feeling rather cold, but people thought he is kind. Big Eric, the most blue guy I know while also being cold. Gary is rough, but often feels blue. He is pretty young. Even though he's a big dude, Harry is cold. A young aged blue person will certainly be nice. You know when you meet a red, blue and kind person, that means they are green. A big blue someone could also be green. Big, round, red people are always so young. I've noticed that big people with blue and green skin tend to be young. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
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 cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Gary is rough.
True
1
proof
[(triple8)]
("Gary" "is" "rough" "+")
triple8
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Gary is nice.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Gary" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule1))]
("Gary" "is" "nice" "-")
((triple7 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Eric is young.
True
6
proof
[(((((triple5 triple6) -> rule3) triple6 triple5) -> rule5))]
("Eric" "is" "young" "+")
((((triple5 triple6) -> (rule3 % int2)) triple6 triple5) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
6
inv-proof
[(((((triple5 triple6) -> rule3) triple6 triple5) -> rule5))]
("Eric" "is" "young" "-")
((((triple5 triple6) -> (rule3 % int2)) triple6 triple5) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
True
8
proof
[(((((((triple5 triple6) -> rule3) triple6 triple5) -> rule5) triple5) -> rule1))]
("Eric" "is" "nice" "+")
((((((triple5 triple6) -> (rule3 % int3)) triple6 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not nice.
False
8
inv-proof
[(((((((triple5 triple6) -> rule3) triple6 triple5) -> rule5) triple5) -> rule1))]
("Eric" "is" "nice" "-")
((((((triple5 triple6) -> (rule3 % int3)) triple6 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is cold.[(triple4)] Gary is blue.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is cold.[(triple10)] @1: Eric is green.[(((triple5 triple6) -> rule3))] Gary is nice.[(((triple7 triple9) -> rule1))] @2: Eric is young.[(((((triple5 triple6) -> rule3) triple6 triple5) -> rule5))] @3: Eric is nice.[(((((((triple5 triple6) -> rule3) triple6 triple5) -> rule5) triple5) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple5 triple6) -> (rule3 % int2)) triple6 triple5) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((((triple5 triple6) -> (rule3 % int3)) triple6 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Charlie was looking rather round and feeling rather cold, but people thought he is kind.
Big Eric, the most blue guy I know while also being cold.
Gary is rough, but often feels blue; He is pretty young.
Even though he's a big dude, Harry is cold.
A young aged blue person will certainly be nice.
You know when you meet a red, blue and kind person, that means they are green.
A big blue someone could also be green.
Big, round, red people are always so young.
I've noticed that big people with blue and green skin tend to be young.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.