People think that Alan is round. This might be because he is young and blue. Others enjoy Dave's company because he is so nice and kind. Eric is really big and young, wearing red and blue while feeling cold. When a person can be described as blue, rough and round, you can call them nice at the same time. Nice, green people that are somewhat round are big through the shoulders. Someone might be red but blue from the cold dressing in green. When someone is nice, dressing in red, they can be blue because they are cold. If a person behaves in a nice way while they are physically blue and big, they're definitely round. People who are red and green are also nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Eric is not cold.
False
1
inv-proof
[(triple8)]
("Eric" "is" "cold" "-")
triple8
Eric is green.
True
4
proof
[(((triple8 triple9 triple7) -> rule3))]
("Eric" "is" "green" "+")
((triple8 triple9 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple8 triple9 triple7) -> rule3))]
("Eric" "is" "green" "-")
((triple8 triple9 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
True
6
proof
[(((((triple8 triple9 triple7) -> rule3) triple7) -> rule6))]
("Eric" "is" "nice" "+")
((((triple8 triple9 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((((triple8 triple9 triple7) -> rule3) triple7) -> rule6))]
("Eric" "is" "nice" "-")
((((triple8 triple9 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
True
9
proof
[(((((((triple8 triple9 triple7) -> rule3) triple7) -> rule6) triple9 triple10) -> rule5))]
("Eric" "is" "round" "+")
((((((triple8 triple9 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2)) triple9 triple10) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not round.
False
9
inv-proof
[(((((((triple8 triple9 triple7) -> rule3) triple7) -> rule6) triple9 triple10) -> rule5))]
("Eric" "is" "round" "-")
((((((triple8 triple9 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2)) triple9 triple10) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is blue.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Eric is big.[(triple10)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is young.[(triple6)] @1: Eric is green.[(((triple8 triple9 triple7) -> rule3))] @2: Eric is nice.[(((((triple8 triple9 triple7) -> rule3) triple7) -> rule6))] @3: Eric is round.[(((((((triple8 triple9 triple7) -> rule3) triple7) -> rule6) triple9 triple10) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
((triple8 triple9 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple8 triple9 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((((triple8 triple9 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2)) triple9 triple10) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
People think that Alan is round; This might be because he is young and blue.
Others enjoy Dave's company because he is so nice and kind.
Eric is really big and young, wearing red and blue while feeling cold.
When a person can be described as blue, rough and round, you can call them nice at the same time.
Nice, green people that are somewhat round are big through the shoulders.
Someone might be red but blue from the cold dressing in green.
When someone is nice, dressing in red, they can be blue because they are cold.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
People who are red and green are also nice.