The diving trip left Charlie red and green all over, yet he remains the nice (though rather rough) guy he always has been. The cold, nice, kind man with a round body is known as Eric. Even though Harry is young, he is still very round and still very red. Young people who wear red lipstick are certainly kind. A person with nice, blue traits who is young will surely be a round person. It's inevitable that young, green people are big. Someone with round, red, and kind traits also will be green. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Eric is kind.
True
1
proof
[(triple7)]
("Eric" "is" "kind" "+")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Harry is kind.
True
3
proof
[(((triple11 triple9) -> rule1))]
("Harry" "is" "kind" "+")
((triple11 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple11 triple9) -> rule1))]
("Harry" "is" "kind" "-")
((triple11 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
True
6
proof
[(((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4))]
("Harry" "is" "green" "+")
((triple10 triple11 ((triple11 triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not green.
False
6
inv-proof
[(((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4))]
("Harry" "is" "green" "-")
((triple10 triple11 ((triple11 triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
True
8
proof
[(((triple9 ((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4)) -> rule3))]
("Harry" "is" "big" "+")
((triple9 ((triple10 triple11 ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not big.
False
8
inv-proof
[(((triple9 ((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4)) -> rule3))]
("Harry" "is" "big" "-")
((triple9 ((triple10 triple11 ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "red" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Harry is red.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple11 triple9) -> rule1))] @2: Harry is green.[(((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4))] @3: Harry is big.[(((triple9 ((triple10 triple11 ((triple11 triple9) -> rule1)) -> rule4)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple11 ((triple11 triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple10 triple11 ((triple11 triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
The diving trip left Charlie red and green all over, yet he remains the nice (though rather rough) guy he always has been.
The cold, nice, kind man with a round body is known as Eric.
Even though Harry is young, he is still very round and still very red.
Young people who wear red lipstick are certainly kind.
A person with nice, blue traits who is young will surely be a round person.
It's inevitable that young, green people are big.
Someone with round, red, and kind traits also will be green.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.