Red Charlie is what folks call him, because he is quite red. Dave is big and rough, but he is also green, and is nice and kind when you want him to be. Fred is round shaped and green colored. Harry is very nice to people, but he's also rather big. Nice and blue people have to be big as well. A red colored person will be rough textured and will be blue. When somebody is round, kind and blue, you know they'll also be red. A big person who is kind and nice is usually red because their prone to blushing. I have noticed that nice people that are green and blue are often round-shaped. Red people who are green and blue are always kind.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Dave is nice.
True
1
proof
[(triple3)]
("Dave" "is" "nice" "+")
triple3
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Dave is red.
True
4
proof
[(((triple4 triple3 triple6) -> rule4))]
("Dave" "is" "red" "+")
((triple4 triple3 triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple4 triple3 triple6) -> rule4))]
("Dave" "is" "red" "-")
((triple4 triple3 triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
True
6
proof
[(((((triple4 triple3 triple6) -> rule4) triple2) -> rule2))]
("Dave" "is" "blue" "+")
((((triple4 triple3 triple6) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((((triple4 triple3 triple6) -> rule4) triple2) -> rule2))]
("Dave" "is" "blue" "-")
((((triple4 triple3 triple6) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
True
9
proof
[(((triple3 triple5 ((((triple4 triple3 triple6) -> rule4) triple2) -> rule2)) -> rule5))]
("Dave" "is" "round" "+")
((triple3 triple5 ((((triple4 triple3 triple6) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple3 triple5 ((((triple4 triple3 triple6) -> rule4) triple2) -> rule2)) -> rule5))]
("Dave" "is" "round" "-")
((triple3 triple5 ((((triple4 triple3 triple6) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is red.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Fred is green.[(triple8)] Fred is round.[(triple7)] Harry is big.[(triple10)] Harry is nice.[(triple9)] @1: Dave is red.[(((triple4 triple3 triple6) -> rule4))] @2: Dave is blue.[(((((triple4 triple3 triple6) -> rule4) triple2) -> rule2))] @3: Dave is round.[(((triple3 triple5 ((((triple4 triple3 triple6) -> rule4) triple2) -> rule2)) -> rule5))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple4 triple3 triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple4 triple3 triple6) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple3 triple5 ((((triple4 triple3 triple6) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Dave is big and rough, but he is also green, and is nice and kind when you want him to be.
Fred is round shaped and green colored.
Harry is very nice to people, but he's also rather big.
Nice and blue people have to be big as well.
A red colored person will be rough textured and will be blue.
When somebody is round, kind and blue, you know they'll also be red.
A big person who is kind and nice is usually red because their prone to blushing.
I have noticed that nice people that are green and blue are often round-shaped.
Red people who are green and blue are always kind.