Alan always goes out of his way to show that he is kind to people. That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here. Eric is a very rough person. As expected, he's also a very cold and big individual. Harry is rough, but often feels blue. He is pretty young. It's easy to be round and blue when you are young. Young people with red skin that play rough are actually quite kind. A green person that is cold is often considered to be red. Color anybody red and blue, then make them rough, and they will surely be round. A blue person who is young and rough is also red. Red and round people will be cold even in the summer.
Alan is kind.
("Alan" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Harry is blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "+")
triple11
Dave is not rough.
False
1
inv-proof
[(triple3)]
("Dave" "is" "rough" "-")
triple3
Harry is red.
True
4
proof
[(((triple11 triple9 triple10) -> rule5))]
("Harry" "is" "red" "+")
((triple11 triple9 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
4
inv-proof
[(((triple11 triple9 triple10) -> rule5))]
("Harry" "is" "red" "-")
((triple11 triple9 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
True
7
proof
[(((triple9 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule2))]
("Harry" "is" "kind" "+")
((triple9 triple10 ((triple11 triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not kind.
False
7
inv-proof
[(((triple9 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule2))]
("Harry" "is" "kind" "-")
((triple9 triple10 ((triple11 triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
True
12
proof
[(((((triple11 triple9 triple10) -> rule5) ((triple11 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule4)) -> rule6))]
("Harry" "is" "cold" "+")
((((triple11 triple9 triple10) -> (rule5 % int3)) ((triple11 triple10 ((triple11 triple9 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not cold.
False
12
inv-proof
[(((((triple11 triple9 triple10) -> rule5) ((triple11 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule4)) -> rule6))]
("Harry" "is" "cold" "-")
((((triple11 triple9 triple10) -> (rule5 % int3)) ((triple11 triple10 ((triple11 triple9 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is red.
Unknown
rconc
[@3: Dave is red.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is kind.[(triple1)] Dave is big.[(triple5)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Harry is blue.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Harry is red.[(((triple11 triple9 triple10) -> rule5))] @2: Harry is kind.[(((triple9 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule2))] Harry is round.[(((triple11 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule4))] @3: Harry is cold.[(((((triple11 triple9 triple10) -> rule5) ((triple11 triple10 ((triple11 triple9 triple10) -> rule5)) -> rule4)) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple9 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10 ((triple11 triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple10 ((triple11 triple9 triple10) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 triple9 triple10) -> (rule5 % int3)) ((triple11 triple10 ((triple11 triple9 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Alan always goes out of his way to show that he is kind to people.
That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here.
Eric is a very rough person; As expected, he's also a very cold and big individual.
Harry is rough, but often feels blue; He is pretty young.
It's easy to be round and blue when you are young.
Young people with red skin that play rough are actually quite kind.
A green person that is cold is often considered to be red.
Color anybody red and blue, then make them rough, and they will surely be round.
A blue person who is young and rough is also red.
Red and round people will be cold even in the summer.