Blue and green Charlie is so kind he snowplows the neighbors driveways and everyone thanks him with beer. For someone so round, Fred turns blue when he's cold. No wonder he's so rough and red with anger all the time. That man standing next to you with a big round body goes by the name of Harry. Someone who is round in shape and green in color is usually cold. In every case of people being kind and blue and green, we find they are concurrently nice. Young people with red skin that play rough are actually quite kind. If you meet a kind green person with a round shape they will also be young. Nice people are kind and rough when they are young. A blue individual that is kind and nice to others also has a rough appearance.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is red.
True
1
proof
[(triple6)]
("Fred" "is" "red" "+")
triple6
Fred is not round.
False
1
inv-proof
[(triple4)]
("Fred" "is" "round" "-")
triple4
Charlie is nice.
True
4
proof
[(((triple1 triple3 triple2) -> rule2))]
("Charlie" "is" "nice" "+")
((triple1 triple3 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
4
inv-proof
[(((triple1 triple3 triple2) -> rule2))]
("Charlie" "is" "nice" "-")
((triple1 triple3 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
True
7
proof
[(((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "+")
((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not rough.
False
7
inv-proof
[(((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "-")
((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
True
13
proof
[(((((triple1 triple3 triple2) -> rule2) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6)) -> rule5))]
("Charlie" "is" "young" "+")
((((triple1 triple3 triple2) -> (rule2 % int3)) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not young.
False
13
inv-proof
[(((((triple1 triple3 triple2) -> rule2) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6)) -> rule5))]
("Charlie" "is" "young" "-")
((((triple1 triple3 triple2) -> (rule2 % int3)) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is kind.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Harry is big.[(triple10)] Harry is round.[(triple9)] @1: Charlie is nice.[(((triple1 triple3 triple2) -> rule2))] @2: Charlie is rough.[(((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6))] @3: Charlie is young.[(((((triple1 triple3 triple2) -> rule2) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> rule2)) -> rule6)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple3 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1 triple3 triple2) -> (rule2 % int3)) triple1 ((triple1 triple3 ((triple1 triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Blue and green Charlie is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
For someone so round, Fred turns blue when he's cold; No wonder he's so rough and red with anger all the time.
That man standing next to you with a big round body goes by the name of Harry.
Someone who is round in shape and green in color is usually cold.
In every case of people being kind and blue and green, we find they are concurrently nice.
Young people with red skin that play rough are actually quite kind.
If you meet a kind green person with a round shape they will also be young.
Nice people are kind and rough when they are young.
A blue individual that is kind and nice to others also has a rough appearance.