Bob is a very rough person. As expected, he's also a very cold and big individual. I knew Charlie was young, and rough, but he surprised me with how cold and blue he acted. Eric wears all blue. Despite being too big with bright green skin and freezing cold, these people have always been kind. When someone feels blue and rough, they might be described as green. You can count on someone who is red and green being young. Ifa blue and green colored person is rough then they must be big shaped. A blue and green colored person will be round in shape. People who are nice and kind are somewhat young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is cold.
True
1
proof
[(triple6)]
("Charlie" "is" "cold" "+")
triple6
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is green.
True
3
proof
[(((triple7 triple5) -> rule2))]
("Charlie" "is" "green" "+")
((triple7 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Charlie" "is" "green" "-")
((triple7 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
True
6
proof
[(((triple7 ((triple7 triple5) -> rule2) triple5) -> rule4))]
("Charlie" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((triple7 ((triple7 triple5) -> rule2)) -> rule5))]
("Charlie" "is" "round" "-")
((triple7 ((triple7 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
True
11
proof
[(((((triple7 ((triple7 triple5) -> rule2) triple5) -> rule4) ((triple7 triple5) -> rule2) triple6) -> rule1))]
("Charlie" "is" "kind" "+")
((((triple7 ((triple7 triple5) -> (rule2 % int3)) triple5) -> (rule4 % int2)) ((triple7 triple5) -> (rule2 % int3)) triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not kind.
False
11
inv-proof
[(((((triple7 ((triple7 triple5) -> rule2) triple5) -> rule4) ((triple7 triple5) -> rule2) triple6) -> rule1))]
("Charlie" "is" "kind" "-")
((((triple7 ((triple7 triple5) -> (rule2 % int3)) triple5) -> (rule4 % int2)) ((triple7 triple5) -> (rule2 % int3)) triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is rough.[(triple1)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Eric is blue.[(triple8)] @1: Charlie is green.[(((triple7 triple5) -> rule2))] @2: Charlie is big.[(((triple7 ((triple7 triple5) -> rule2) triple5) -> rule4))] Charlie is round.[(((triple7 ((triple7 triple5) -> rule2)) -> rule5))] @3: Charlie is kind.[(((((triple7 ((triple7 triple5) -> rule2) triple5) -> rule4) ((triple7 triple5) -> rule2) triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple7 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple7 ((triple7 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple7 ((triple7 triple5) -> (rule2 % int3)) triple5) -> (rule4 % int2)) ((triple7 triple5) -> (rule2 % int3)) triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob is a very rough person; As expected, he's also a very cold and big individual.
I knew Charlie was young, and rough, but he surprised me with how cold and blue he acted.
Eric wears all blue.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
When someone feels blue and rough, they might be described as green.
You can count on someone who is red and green being young.
Ifa blue and green colored person is rough then they must be big shaped.
A blue and green colored person will be round in shape.
People who are nice and kind are somewhat young.