Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Dave is a young man who is big and round. He is also kind with a bit of a cold streak. Eric gets red when he is mad and tends to act very cold. A nice and colored blue person will be rather big. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. People who are described as young, green, and big are often considered rough. A blue and green colored person will be round in shape. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. Whenever someone is kind as well as round and cold, they will definitely be blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Eric is cold.
True
1
proof
[(triple10)]
("Eric" "is" "cold" "+")
triple10
Dave is not kind.
False
1
inv-proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Dave is blue.
True
4
proof
[(((triple6 triple5 triple7) -> rule7) OR ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7))]
("Dave" "is" "blue" "+")
((triple6 triple5 triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 ((triple7 triple6 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not blue.
False
4
inv-proof
[(((triple6 triple5 triple7) -> rule7) OR ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7))]
("Dave" "is" "blue" "-")
((triple6 triple5 triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 ((triple7 triple6 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
True
7
proof
[(((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2))]
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not green.
False
7
inv-proof
[(((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2))]
("Dave" "is" "green" "-")
((triple7 ((triple6 triple5 triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
True
10
proof
[(((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4))]
("Dave" "is" "rough" "+")
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not rough.
False
10
inv-proof
[(((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4))]
("Dave" "is" "rough" "-")
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Gary" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5 OR ((triple7 triple6 triple8) -> rule6))] Dave is young.[(triple4)] Eric is cold.[(triple10)] Eric is red.[(triple9)] @1: Dave is blue.[(((triple6 triple5 triple7) -> rule7) OR ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7))] @2: Dave is green.[(((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2))] @3: Dave is red.[(((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3))] Dave is rough.[(((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple7 triple6 triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
((triple6 triple5 triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 ((triple7 triple6 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) triple5) -> (rule2 % int3)) ((triple7 triple6 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule2 % int2)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple7 ((triple6 triple5 triple7) -> (rule7 % int4)) ((triple7 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple7 triple6 triple8) -> (rule6 % int4))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Bob is blue just like his dog; Bob is rough and round enough for the dog to use him as an exercise wheel.
Dave is a young man who is big and round; He is also kind with a bit of a cold streak.
Eric gets red when he is mad and tends to act very cold.
A nice and colored blue person will be rather big.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
People who are described as young, green, and big are often considered rough.
A blue and green colored person will be round in shape.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Whenever someone is kind as well as round and cold, they will definitely be blue.