Dave is nice, even when he is rough and red with anger. Eric fits the description of someone who is rough, red and blue. Upon meeting Gary, you'll notice he's green and kind. Big blue Harry is nice and young. Rough folks with green and red coloration tend to feel cold no matter what. It's been proven that red, rough people are green as well. When you meet someone that's rough, kind and nice you'll see they are green as well. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Kind young people that are still blue are generally round shaped. People who are young and green are also kind. A young blue person that is kind is known for being extra nice to others, too.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Harry is not young.
False
1
inv-proof
[(triple9)]
("Harry" "is" "young" "-")
triple9
Dave is green.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Dave" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Eric" "is" "green" "-")
((triple5 triple4) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
True
6
proof
[(((triple4 ((triple5 triple4) -> rule2) triple5) -> rule1))]
("Eric" "is" "cold" "+")
((triple4 ((triple5 triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not cold.
False
6
inv-proof
[(((triple4 ((triple5 triple4) -> rule2) triple5) -> rule1))]
("Eric" "is" "cold" "-")
((triple4 ((triple5 triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Dave is big.
True
8
proof
[(((((triple1 ((triple2 triple1) -> rule2) triple2) -> rule1) triple3) -> rule4))]
("Dave" "is" "big" "+")
((((triple1 ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not big.
False
8
inv-proof
[(((((triple1 ((triple2 triple1) -> rule2) triple2) -> rule1) triple3) -> rule4))]
("Dave" "is" "big" "-")
((((triple1 ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Dave is green.[(((triple2 triple1) -> rule2))] Eric is green.[(((triple5 triple4) -> rule2))] @2: Dave is cold.[(((triple1 ((triple2 triple1) -> rule2) triple2) -> rule1))] Eric is cold.[(((triple4 ((triple5 triple4) -> rule2) triple5) -> rule1))] @3: Dave is big.[(((((triple1 ((triple2 triple1) -> rule2) triple2) -> rule1) triple3) -> rule4))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple4) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 ((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple4 ((triple5 triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple1 ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice, even when he is rough and red with anger.
Eric fits the description of someone who is rough, red and blue.
Upon meeting Gary, you'll notice he's green and kind.
Big blue Harry is nice and young.
Rough folks with green and red coloration tend to feel cold no matter what.
It's been proven that red, rough people are green as well.
When you meet someone that's rough, kind and nice you'll see they are green as well.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Kind young people that are still blue are generally round shaped.
People who are young and green are also kind.
A young blue person that is kind is known for being extra nice to others, too.