They always call him rough Alan. Dave is really big and young, wearing red and blue while feeling cold. Eric ate some rotten meat and now feels green. Even though he's a big dude, Harry is cold. Their actions reflected how young and kind but green they were making things seem blue. A big round person is nice. When someone is young they can be nice and kind, but green in society. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Julie is really nice to gardeners since she has a green thumb. Young,cold and blue people are mostly round. Being blue, cold, and rough must be very trying. At least they are also big.
Alan is rough.
("Alan" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Dave is red.
True
1
proof
[(triple3)]
("Dave" "is" "red" "+")
triple3
Eric is not green.
False
1
inv-proof
[(triple7)]
("Eric" "is" "green" "-")
triple7
Dave is round.
True
4
proof
[(((triple5 triple2 triple4) -> rule6))]
("Dave" "is" "round" "+")
((triple5 triple2 triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
4
inv-proof
[(((triple5 triple2 triple4) -> rule6))]
("Dave" "is" "round" "-")
((triple5 triple2 triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
True
6
proof
[(((((triple5 triple2 triple4) -> rule6) triple6) -> rule2))]
("Dave" "is" "nice" "+")
((((triple5 triple2 triple4) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not nice.
False
6
inv-proof
[(((((triple5 triple2 triple4) -> rule6) triple6) -> rule2))]
("Dave" "is" "nice" "-")
((((triple5 triple2 triple4) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
True
7
proof
[(((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5))]
("Dave" "is" "green" "+")
((((((triple5 triple2 triple4) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not green.
False
7
inv-proof
[(((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5))]
("Dave" "is" "green" "-")
((((((triple5 triple2 triple4) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
True
10
proof
[(((((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5) triple4 triple2) -> rule4))]
("Dave" "is" "kind" "+")
((((((((triple5 triple2 triple4) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple4 triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not kind.
False
10
inv-proof
[(((((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5) triple4 triple2) -> rule4))]
("Dave" "is" "kind" "-")
((((((((triple5 triple2 triple4) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple4 triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "+")
Harry is not green.
Unknown
inv-rconc
[@3: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not green.
Unknown
inv-rconc
[@3: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Alan is rough.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Eric is green.[(triple7)] Harry is big.[(triple9)] Harry is cold.[(triple8)] @1: Dave is round.[(((triple5 triple2 triple4) -> rule6))] @2: Dave is nice.[(((((triple5 triple2 triple4) -> rule6) triple6) -> rule2))] @3: Dave is green.[(((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5))] @4: Dave is kind.[(((((((((triple5 triple2 triple4) -> rule6) triple6) -> rule2)) -> rule5) triple4 triple2) -> rule4))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple2 triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5 triple2 triple4) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((((triple5 triple2 triple4) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((((((triple5 triple2 triple4) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple4 triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
They always call him rough Alan.
Dave is really big and young, wearing red and blue while feeling cold.
Eric ate some rotten meat and now feels green.
Even though he's a big dude, Harry is cold.
Their actions reflected how young and kind but green they were making things seem blue.
A big round person is nice.
When someone is young they can be nice and kind, but green in society.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Julie is really nice to gardeners since she has a green thumb.
Young,cold and blue people are mostly round.
Being blue, cold, and rough must be very trying; At least they are also big.