Others enjoy Alan's company because he is so nice and kind. They always call him rough Bob. That man standing next to you with a big round body goes by the name of Eric. The cold, nice, kind man with a round body is known as Fred. Someone who feels blue with rough skin is also kind and will be young. His cheeks were red from the cold, and his big blue eye were watering. Someone can be very nice and kind, and this means they are also green. I've found that people with rough skin tend to be really nice but they also often feel blue. Despite being kind cold people with red ears will still be big. A person who exhibits nice, kind and cold characteristics will also be a rough person. Blue people round with fat are red from too much time in the sun.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Fred is not cold.
False
1
inv-proof
[(triple9)]
("Fred" "is" "cold" "-")
triple9
Fred is rough.
True
4
proof
[(((triple8 triple7 triple9) -> rule6))]
("Fred" "is" "rough" "+")
((triple8 triple7 triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
4
inv-proof
[(((triple8 triple7 triple9) -> rule6))]
("Fred" "is" "rough" "-")
((triple8 triple7 triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
True
6
proof
[(((((triple8 triple7 triple9) -> rule6) triple7) -> rule4))]
("Fred" "is" "blue" "+")
((((triple8 triple7 triple9) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((((triple8 triple7 triple9) -> rule6) triple7) -> rule4))]
("Fred" "is" "blue" "-")
((((triple8 triple7 triple9) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
True
12
proof
[(((triple8 ((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) ((triple8 triple7 triple9) -> rule6)) -> rule1))]
("Fred" "is" "young" "+")
((triple8 ((((triple8 triple7 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int2)) ((triple8 triple7 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not young.
False
12
inv-proof
[(((triple8 ((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) ((triple8 triple7 triple9) -> rule6)) -> rule1))]
("Fred" "is" "young" "-")
((triple8 ((((triple8 triple7 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int2)) ((triple8 triple7 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
True
11
proof
[(((triple9 ((((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) triple6) -> rule7) triple8) -> rule5))]
("Fred" "is" "big" "+")
((triple9 ((((((triple8 triple7 triple9) -> (rule6 % int4)) triple7) -> (rule4 % int3)) triple6) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not big.
False
11
inv-proof
[(((triple9 ((((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) triple6) -> rule7) triple8) -> rule5))]
("Fred" "is" "big" "-")
((triple9 ((((((triple8 triple7 triple9) -> (rule6 % int4)) triple7) -> (rule4 % int3)) triple6) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "rough" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is rough.[(triple3)] Eric is big.[(triple5)] Eric is round.[(triple4)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] @1: Alan is green.[(((triple1 triple2) -> rule3))] Fred is green.[(((triple7 triple8) -> rule3))] Fred is rough.[(((triple8 triple7 triple9) -> rule6))] @2: Fred is blue.[(((((triple8 triple7 triple9) -> rule6) triple7) -> rule4))] @3: Fred is red.[(((((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) triple6) -> rule7))] Fred is young.[(((triple8 ((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) ((triple8 triple7 triple9) -> rule6)) -> rule1))] @4: Fred is big.[(((triple9 ((((((triple8 triple7 triple9) -> rule6) triple7) -> rule4) triple6) -> rule7) triple8) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple7 triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple8 triple7 triple9) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple8 triple7 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((triple8 ((((triple8 triple7 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int2)) ((triple8 triple7 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple9 ((((((triple8 triple7 triple9) -> (rule6 % int4)) triple7) -> (rule4 % int3)) triple6) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Others enjoy Alan's company because he is so nice and kind.
They always call him rough Bob.
That man standing next to you with a big round body goes by the name of Eric.
The cold, nice, kind man with a round body is known as Fred.
Someone who feels blue with rough skin is also kind and will be young.
His cheeks were red from the cold, and his big blue eye were watering.
Someone can be very nice and kind, and this means they are also green.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Despite being kind cold people with red ears will still be big.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
Blue people round with fat are red from too much time in the sun.