Alan is red with anger because he's green with envy, like all young, rough boys. Bob is big and dresses in blue. When you see Eric, you will notice he is cold, big and kind. From a certain angle Gary is blue but he is young so maybe that will go away. Blue kind people are almost always nice to others. A big person in size will definitely be rough. It's said that any person with blue skin, round bones, and big feet is kind. Like a blueberry, a big blue person is round as anything. If you are big and young then your are also nice. I have noticed that nice people that are green and blue are often round-shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Eric is kind.
True
1
proof
[(triple7)]
("Eric" "is" "kind" "+")
triple7
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is rough.
True
2
proof
[(((triple6) -> rule2))]
("Bob" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple5 triple6) -> rule4))]
("Bob" "is" "round" "-")
((triple5 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
True
6
proof
[(((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3))]
("Bob" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3))]
("Bob" "is" "kind" "-")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
True
8
proof
[(((triple5 ((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3)) -> rule1))]
("Bob" "is" "nice" "+")
((triple5 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not nice.
False
8
inv-proof
[(((triple5 ((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3)) -> rule1))]
("Bob" "is" "nice" "-")
((triple5 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Gary is blue.[(triple11)] Gary is young.[(triple10)] @1: Bob is rough.[(((triple6) -> rule2))] Bob is round.[(((triple5 triple6) -> rule4))] Eric is rough.[(((triple9) -> rule2))] @2: Bob is kind.[(((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3))] @3: Bob is nice.[(((triple5 ((triple5 ((triple5 triple6) -> rule4) triple6) -> rule3)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is red with anger because he's green with envy, like all young, rough boys.
Bob is big and dresses in blue.
When you see Eric, you will notice he is cold, big and kind.
From a certain angle Gary is blue but he is young so maybe that will go away.
Blue kind people are almost always nice to others.
A big person in size will definitely be rough.
It's said that any person with blue skin, round bones, and big feet is kind.
Like a blueberry, a big blue person is round as anything.
If you are big and young then your are also nice.
I have noticed that nice people that are green and blue are often round-shaped.