Charlie is a big gentleman who is very nice. He is secretly green with envy. Big Dave, the most blue guy I know while also being cold. Eric associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. All people that are rough and cold, as well as nice will be kind if you talk to them. Surprisingly, all the kind, green people were also big. I have found that if someone is kind and red, that they are quite often nice. If you see someone who is red and green they are round, like Santa Claus. Big and round people can't help but be cold all of the time. Being kind and young means that if they are also blue, they are always red. Anyone will tell you the kind and the big are also rough.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Eric is not blue.
False
1
inv-proof
[(triple10)]
("Eric" "is" "blue" "-")
triple10
Eric is big.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Eric" "is" "big" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not red.
False
4
inv-proof
[(((triple10 triple8 triple7) -> rule6))]
("Eric" "is" "red" "-")
((triple10 triple8 triple7) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
True
6
proof
[(((triple8 ((triple10 triple8 triple7) -> rule6)) -> rule3))]
("Eric" "is" "nice" "+")
((triple8 ((triple10 triple8 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((((triple8 triple9) -> rule2) triple8) -> rule7))]
("Eric" "is" "rough" "-")
((((triple8 triple9) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
True
10
proof
[(((((triple8 triple9) -> rule2) ((((triple10 triple8 triple7) -> rule6) triple9) -> rule4)) -> rule5))]
("Eric" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int4)) ((((triple10 triple8 triple7) -> (rule6 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not cold.
False
10
inv-proof
[(((((triple8 triple9) -> rule2) ((((triple10 triple8 triple7) -> rule6) triple9) -> rule4)) -> rule5))]
("Eric" "is" "cold" "-")
((((triple8 triple9) -> (rule2 % int4)) ((((triple10 triple8 triple7) -> (rule6 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Charlie is big.[(triple3)] Charlie is green.[(triple2)] Charlie is nice.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is kind.[(triple8)] Eric is young.[(triple7)] @1: Eric is big.[(((triple8 triple9) -> rule2))] Eric is red.[(((triple10 triple8 triple7) -> rule6))] @2: Eric is nice.[(((triple8 ((triple10 triple8 triple7) -> rule6)) -> rule3))] Eric is rough.[(((((triple8 triple9) -> rule2) triple8) -> rule7))] Eric is round.[(((((triple10 triple8 triple7) -> rule6) triple9) -> rule4))] @3: Eric is cold.[(((((triple8 triple9) -> rule2) ((((triple10 triple8 triple7) -> rule6) triple9) -> rule4)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple10 triple8 triple7) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 ((triple10 triple8 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple8 triple9) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple10 triple8 triple7) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int4)) ((((triple10 triple8 triple7) -> (rule6 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Charlie is a big gentleman who is very nice; He is secretly green with envy.
Big Dave, the most blue guy I know while also being cold.
Eric associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Surprisingly, all the kind, green people were also big.
I have found that if someone is kind and red, that they are quite often nice.
If you see someone who is red and green they are round, like Santa Claus.
Big and round people can't help but be cold all of the time.
Being kind and young means that if they are also blue, they are always red.
Anyone will tell you the kind and the big are also rough.