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. Dave ate some rotten meat and now feels green. Most people see Fred as round, albeit nice and big at the same time. That man standing next to you with a big round body goes by the name of Harry. Young people that are blue will still be kind because they are rough to the touch. Every time I see a young blue nice person I know they are also red. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. People that feel green are cold to people that try to help them. When someone feels blue and rough, they might be described as green. You can see that cold, blue people are round in shape.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fred is round.
True
1
proof
[(triple4)]
("Fred" "is" "round" "+")
triple4
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Charlie is green.
True
3
proof
[(((triple2 triple1) -> rule5))]
("Charlie" "is" "green" "+")
((triple2 triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule5))]
("Charlie" "is" "green" "-")
((triple2 triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
True
4
proof
[(((((triple2 triple1) -> rule5)) -> rule4))]
("Charlie" "is" "cold" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not cold.
False
4
inv-proof
[(((((triple2 triple1) -> rule5)) -> rule4))]
("Charlie" "is" "cold" "-")
((((triple2 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
True
6
proof
[(((((((triple2 triple1) -> rule5)) -> rule4) triple2) -> rule6))]
("Charlie" "is" "round" "+")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not round.
False
6
inv-proof
[(((((((triple2 triple1) -> rule5)) -> rule4) triple2) -> rule6))]
("Charlie" "is" "round" "-")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is blue.[(triple2)] Charlie is rough.[(triple1)] Dave is green.[(triple3)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Fred is round.[(triple4)] Harry is big.[(triple8)] Harry is round.[(triple7)] @1: Charlie is green.[(((triple2 triple1) -> rule5))] Dave is cold.[(((triple3) -> rule4))] @2: Charlie is cold.[(((((triple2 triple1) -> rule5)) -> rule4))] @3: Charlie is round.[(((((((triple2 triple1) -> rule5)) -> rule4) triple2) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
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.
Dave ate some rotten meat and now feels green.
Most people see Fred as round, albeit nice and big at the same time.
That man standing next to you with a big round body goes by the name of Harry.
Young people that are blue will still be kind because they are rough to the touch.
Every time I see a young blue nice person I know they are also red.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
People that feel green are cold to people that try to help them.
When someone feels blue and rough, they might be described as green.
You can see that cold, blue people are round in shape.