Bob ate some rotten meat and now feels green. Dave is too young to be so big. Some say he is too green to be so blue as well. Eric had big, red, round cheeks. Round, blue, and green people are poften rough. When a person can be described as blue, rough and round, you can call them nice at the same time. People who are blue and red and kind are described as being green. Most of the people that are big and nice with green eyes, will be round. A big, young human being is sure to also be a green human being. People feeling green and blue are somewhat nice.
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Eric is red.
True
1
proof
[(triple7)]
("Eric" "is" "red" "+")
triple7
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Dave is nice.
True
3
proof
[(((triple3 triple4) -> rule6) OR ((((triple5 triple2) -> rule5) triple4) -> rule6))]
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple5 triple2) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule6) OR ((((triple5 triple2) -> rule5) triple4) -> rule6))]
("Dave" "is" "nice" "-")
((triple3 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple5 triple2) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
True
6
proof
[(((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4))]
("Dave" "is" "round" "+")
((triple5 ((triple3 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not round.
False
6
inv-proof
[(((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4))]
("Dave" "is" "round" "-")
((triple5 ((triple3 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
True
9
proof
[(((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1))]
("Dave" "is" "rough" "+")
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int4)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not rough.
False
9
inv-proof
[(((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1))]
("Dave" "is" "rough" "-")
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int4)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is green.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is green.[(triple3 OR ((triple5 triple2) -> rule5))] Dave is young.[(triple2)] Eric is big.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] @1: Dave is nice.[(((triple3 triple4) -> rule6) OR ((((triple5 triple2) -> rule5) triple4) -> rule6))] @2: Dave is round.[(((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4))] @3: Dave is rough.[(((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple5 triple2) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple5 triple2) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple5 ((triple3 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple5 ((((triple5 triple2) -> (rule5 % int3)) triple4) -> (rule6 % int2)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 triple3 ((triple5 ((triple3 triple4) -> (rule6 % int4)) ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((triple3 triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 triple3 ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple4 ((triple5 triple2) -> (rule5 % int4)) ((triple5 ((((triple5 triple2) -> (rule5 % int4)) triple4) -> (rule6 % int3)) ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Bob ate some rotten meat and now feels green.
Dave is too young to be so big; Some say he is too green to be so blue as well.
Eric had big, red, round cheeks.
Round, blue, and green people are poften rough.
When a person can be described as blue, rough and round, you can call them nice at the same time.
People who are blue and red and kind are described as being green.
Most of the people that are big and nice with green eyes, will be round.
A big, young human being is sure to also be a green human being.
People feeling green and blue are somewhat nice.