Bob ate some rotten meat and now feels green. Charlie is a nice person who is red because he has a rash. Dave a big man for his young age. he has red hair and can be rough. Gary loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. A red colored person will be rough textured and will be blue. Anyone that's rough and cold is also going to be blue. A person who is green and rough and round is also young. Young people with red skin that play rough are actually quite kind. Kind people,though green,tend to be nice. When someone is kind and their cheeks flame red with embarrassment I know that they are young. Being big and blue is standard for being green.
Bob is green.
("Bob" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
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 then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "+")
triple6
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Gary is blue.
True
3
proof
[(((triple10 triple9) -> rule2))]
("Gary" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple10 triple9) -> rule2))]
("Gary" "is" "blue" "-")
((triple10 triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is green.
True
5
proof
[(((triple7 ((triple6 triple5) -> rule1)) -> rule7))]
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple7 ((triple6 triple5) -> rule1)) -> rule7))]
("Dave" "is" "green" "-")
((triple7 ((triple6 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
True
10
proof
[(((((triple4 triple5 triple6) -> rule4) ((triple7 ((triple6 triple5) -> rule1)) -> rule7)) -> rule5))]
("Dave" "is" "nice" "+")
((((triple4 triple5 triple6) -> (rule4 % int4)) ((triple7 ((triple6 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not nice.
False
10
inv-proof
[(((((triple4 triple5 triple6) -> rule4) ((triple7 ((triple6 triple5) -> rule1)) -> rule7)) -> rule5))]
("Dave" "is" "nice" "-")
((((triple4 triple5 triple6) -> (rule4 % int4)) ((triple7 ((triple6 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Dave is big.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Dave is blue.[(((triple6 triple5) -> rule1))] Dave is kind.[(((triple4 triple5 triple6) -> rule4))] Gary is blue.[(((triple10 triple9) -> rule2))] @2: Dave is green.[(((triple7 ((triple6 triple5) -> rule1)) -> rule7))] @3: Dave is nice.[(((((triple4 triple5 triple6) -> rule4) ((triple7 ((triple6 triple5) -> rule1)) -> rule7)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple5 triple6) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple4 triple5 triple6) -> (rule4 % int4)) ((triple7 ((triple6 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Bob ate some rotten meat and now feels green.
Charlie is a nice person who is red because he has a rash.
Dave a big man for his young age; he has red hair and can be rough.
Gary loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
A red colored person will be rough textured and will be blue.
Anyone that's rough and cold is also going to be blue.
A person who is green and rough and round is also young.
Young people with red skin that play rough are actually quite kind.
Kind people,though green,tend to be nice.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Being big and blue is standard for being green.