Young Charlie has red, rough skin, but is nice and kind. Dave 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. Fred is a man who is both round and rough. Harry is so young and darling he is kind to all the old people on the block. Their actions reflected how young and kind but green they were making things seem blue. A kind, young person will be rough textured. 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. Red haired people who are nice and kind are looked up to because they are always big. You will always find a cold, rough, red person to also be a round person. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. When someone is big, young and rough, they can be cold.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
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 kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is blue.
True
1
proof
[(triple7)]
("Dave" "is" "blue" "+")
triple7
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Charlie is big.
True
4
proof
[(((triple5 triple4 triple3) -> rule4))]
("Charlie" "is" "big" "+")
((triple5 triple4 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple10 triple11) -> rule2))]
("Harry" "is" "rough" "-")
((triple10 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is cold.
True
7
proof
[(((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) OR ((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7))]
("Charlie" "is" "cold" "+")
((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple5) -> (rule2 % int3)) triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
7
inv-proof
[(((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) OR ((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7))]
("Charlie" "is" "cold" "-")
((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple5) -> (rule2 % int3)) triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
True
10
proof
[(((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5))]
("Charlie" "is" "round" "+")
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple1 triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1 triple5) -> (rule2 % int4)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not round.
False
10
inv-proof
[(((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5))]
("Charlie" "is" "round" "-")
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple1 triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1 triple5) -> (rule2 % int4)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2 OR ((triple1 triple5) -> rule2))] Charlie is young.[(triple1)] Dave is blue.[(triple7)] Dave is rough.[(triple6)] Fred is rough.[(triple9)] Fred is round.[(triple8)] Harry is kind.[(triple11)] Harry is young.[(triple10)] @1: Charlie is big.[(((triple5 triple4 triple3) -> rule4))] Harry is rough.[(((triple10 triple11) -> rule2))] @2: Charlie is cold.[(((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) OR ((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7))] @3: Charlie is round.[(((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((triple2 triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) triple2 triple3) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1 ((triple5 triple4 triple3) -> rule4)) -> rule7) ((triple1 triple5) -> rule2) triple3) -> rule5))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((triple1 triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple4 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple5) -> (rule2 % int3)) triple1 ((triple5 triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple2 triple1 ((triple5 triple4 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple1 triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1 triple5) -> (rule2 % int4)) triple1 ((triple5 triple4 triple3) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1 triple5) -> (rule2 % int4)) triple3) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Young Charlie has red, rough skin, but is nice and kind.
Dave 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.
Fred is a man who is both round and rough.
Harry is so young and darling he is kind to all the old people on the block.
Their actions reflected how young and kind but green they were making things seem blue.
A kind, young person will be rough textured.
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.
Red haired people who are nice and kind are looked up to because they are always big.
You will always find a cold, rough, red person to also be a round person.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
When someone is big, young and rough, they can be cold.