Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Big Eric is still young so it's easy for him to be kind. They always call him rough Gary. Because Harry gets cold easily he tends to appear round from bundling up. If a big person is cold and nice, then they are green. Being big and kind like a gentle giant can make anyone blue. If you ever find someone who's nice, rough, and blue, expect them to also be green. You can see that cold, blue people are round in shape. Anyone that's described as young, kind and blue can be said to be cold, too.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
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 blue.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Eric" "is" "blue" "-")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
True
6
proof
[(((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5))]
("Eric" "is" "cold" "+")
((triple3 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not cold.
False
6
inv-proof
[(((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5))]
("Eric" "is" "cold" "-")
((triple3 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
10
proof
[(((((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5) ((triple5 triple4) -> rule2)) -> rule4))]
("Eric" "is" "round" "+")
((((triple3 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not round.
False
10
inv-proof
[(((((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5) ((triple5 triple4) -> rule2)) -> rule4))]
("Eric" "is" "round" "-")
((((triple3 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is blue.[(triple2)] Charlie is rough.[(triple1)] Eric is big.[(triple5)] Eric is kind.[(triple4)] Eric is young.[(triple3)] Gary is rough.[(triple6)] Harry is cold.[(triple8)] Harry is round.[(triple7)] @1: Eric is blue.[(((triple5 triple4) -> rule2))] @2: Eric is cold.[(((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5))] @3: Eric is round.[(((((triple3 ((triple5 triple4) -> rule2) triple4) -> rule5) ((triple5 triple4) -> rule2)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple3 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule5 % int2)) ((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Big Eric is still young so it's easy for him to be kind.
They always call him rough Gary.
Because Harry gets cold easily he tends to appear round from bundling up.
If a big person is cold and nice, then they are green.
Being big and kind like a gentle giant can make anyone blue.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
You can see that cold, blue people are round in shape.
Anyone that's described as young, kind and blue can be said to be cold, too.