They always call him rough Alan. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Dave is a young, round fellow who is red and green in color. He is also cold. They always call him rough Eric. Any human being with green, big, kind eyes, also has round eyes. It is true that kind people who have become cold and blue and survived are necessarily big. Someone who is not only rough and big but also nice will necessarily be round as well. People that are red and blue and green at the same time have a reason to be cold. A nice person with rough skin will be round, you can count on it. Young people that are nice and green tend to be blue. It's true that green and blue people are also red people.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple9)]
("Dave" "is" "cold" "-")
triple9
Bob is red.
True
3
proof
[(((triple3 triple4) -> rule7))]
("Bob" "is" "red" "+")
((triple3 triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple3 triple4) -> rule7))]
("Bob" "is" "red" "-")
((triple3 triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
True
6
proof
[(((((triple3 triple4) -> rule7) triple4 triple3) -> rule4))]
("Bob" "is" "cold" "+")
((((triple3 triple4) -> (rule7 % int2)) triple4 triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not cold.
False
6
inv-proof
[(((((triple3 triple4) -> rule7) triple4 triple3) -> rule4))]
("Bob" "is" "cold" "-")
((((triple3 triple4) -> (rule7 % int2)) triple4 triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
True
9
proof
[(((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2))]
("Bob" "is" "big" "+")
((triple4 ((((triple3 triple4) -> (rule7 % int3)) triple4 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not big.
False
9
inv-proof
[(((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2))]
("Bob" "is" "big" "-")
((triple4 ((((triple3 triple4) -> (rule7 % int3)) triple4 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
True
12
proof
[(((triple3 ((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2) triple2) -> rule1))]
("Bob" "is" "round" "+")
((triple3 ((triple4 ((((triple3 triple4) -> (rule7 % int4)) triple4 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not round.
False
12
inv-proof
[(((triple3 ((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2) triple2) -> rule1))]
("Bob" "is" "round" "-")
((triple3 ((triple4 ((((triple3 triple4) -> (rule7 % int4)) triple4 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is rough.[(triple1)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is red.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Eric is rough.[(triple10)] @1: Bob is red.[(((triple3 triple4) -> rule7))] @2: Bob is cold.[(((((triple3 triple4) -> rule7) triple4 triple3) -> rule4))] @3: Bob is big.[(((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2))] @4: Bob is round.[(((triple3 ((triple4 ((((triple3 triple4) -> rule7) triple4 triple3) -> rule4) triple2) -> rule2) triple2) -> rule1))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 triple4) -> (rule7 % int2)) triple4 triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple4 ((((triple3 triple4) -> (rule7 % int3)) triple4 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple3 ((triple4 ((((triple3 triple4) -> (rule7 % int4)) triple4 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
They always call him rough Alan.
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Dave is a young, round fellow who is red and green in color; He is also cold.
They always call him rough Eric.
Any human being with green, big, kind eyes, also has round eyes.
It is true that kind people who have become cold and blue and survived are necessarily big.
Someone who is not only rough and big but also nice will necessarily be round as well.
People that are red and blue and green at the same time have a reason to be cold.
A nice person with rough skin will be round, you can count on it.
Young people that are nice and green tend to be blue.
It's true that green and blue people are also red people.