Dave has rough, green skin and that makes him cold. He also feels blue for his big size. Eric is big and rough. Fred is young and round, he is also green. Harry is green, which is a possible explanation for why he is so nice. Big people who are red in color are often nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. When someone feels blue and rough, they might be described as green. Big, blue people are red.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Fred is round.
True
1
proof
[(triple9)]
("Fred" "is" "round" "+")
triple9
Fred is not green.
False
1
inv-proof
[(triple10)]
("Fred" "is" "green" "-")
triple10
Dave is red.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Dave" "is" "red" "+")
((triple4 triple5) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Dave" "is" "red" "-")
((triple4 triple5) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
True
5
proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule1))]
("Dave" "is" "nice" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule1))]
("Dave" "is" "nice" "-")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
True
9
proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule4)) -> rule2))]
("Dave" "is" "kind" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not kind.
False
9
inv-proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule4)) -> rule2))]
("Dave" "is" "kind" "-")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is cold.[(triple3)] Dave is green.[(triple2 OR ((triple4 triple1) -> rule3))] Dave is rough.[(triple1)] Eric is big.[(triple7)] Eric is rough.[(triple6)] Fred is green.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Dave is red.[(((triple4 triple5) -> rule4))] @2: Dave is nice.[(((triple5 ((triple4 triple5) -> rule4)) -> rule1))] @3: Dave is kind.[(((((triple5 ((triple4 triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule4)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple4 triple1) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
((triple4 triple5) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave has rough, green skin and that makes him cold; He also feels blue for his big size.
Eric is big and rough.
Fred is young and round, he is also green.
Harry is green, which is a possible explanation for why he is so nice.
Big people who are red in color are often nice.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
When someone feels blue and rough, they might be described as green.
Big, blue people are red.