Bob always goes out of his way to show that he is kind to people. Dave is interestingly colored red and blue, and is also very kind. Eric ate some rotten meat and now feels green. Harry is rough and red, but he is still young; he is still blue with youth. Young people with red skin who are a bit downhearted and blue are kind. It's inevitable that young, green people are big. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Anyone you find who happens to be kind and blue will also be very nice. When you meet someone that's rough, kind and nice you'll see they are green as well. People who are rough and nice and blue can be round. It's true that green and blue people are also red people.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Harry is rough.
True
1
proof
[(triple7)]
("Harry" "is" "rough" "+")
triple7
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Dave is nice.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("Dave" "is" "nice" "-")
((triple3 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is nice.
True
6
proof
[(((((triple6 triple9 triple8) -> rule1) triple9) -> rule4))]
("Harry" "is" "nice" "+")
((((triple6 triple9 triple8) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not nice.
False
6
inv-proof
[(((((triple6 triple9 triple8) -> rule1) triple9) -> rule4))]
("Harry" "is" "nice" "-")
((((triple6 triple9 triple8) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
True
12
proof
[(((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5))]
("Harry" "is" "green" "+")
((triple7 ((triple6 triple9 triple8) -> (rule1 % int3)) ((((triple6 triple9 triple8) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not green.
False
12
inv-proof
[(((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5))]
("Harry" "is" "green" "-")
((triple7 ((triple6 triple9 triple8) -> (rule1 % int3)) ((((triple6 triple9 triple8) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "red" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Eric is green.[(triple5)] Harry is blue.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Dave is nice.[(((triple3 triple4) -> rule4))] Harry is kind.[(((triple6 triple9 triple8) -> rule1))] @2: Harry is big.[(((triple7 triple9 ((triple6 triple9 triple8) -> rule1)) -> rule3) OR ((triple6 ((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5)) -> rule2))] Harry is nice.[(((((triple6 triple9 triple8) -> rule1) triple9) -> rule4))] @3: Harry is green.[(((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5))] Harry is round.[(((triple7 ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4) triple9) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 triple9 triple8) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 triple9 ((triple6 triple9 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple6 ((triple7 ((triple6 triple9 triple8) -> (rule1 % int4)) ((((triple6 triple9 triple8) -> (rule1 % int4)) triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((((triple6 triple9 triple8) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple7 ((triple6 triple9 triple8) -> (rule1 % int3)) ((((triple6 triple9 triple8) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple7 ((((triple6 triple9 triple8) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Dave is interestingly colored red and blue, and is also very kind.
Eric ate some rotten meat and now feels green.
Harry is rough and red, but he is still young; he is still blue with youth.
Young people with red skin who are a bit downhearted and blue are kind.
It's inevitable that young, green people are big.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Anyone you find who happens to be kind and blue will also be very nice.
When you meet someone that's rough, kind and nice you'll see they are green as well.
People who are rough and nice and blue can be round.
It's true that green and blue people are also red people.