Bob is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Bob is big and young so he can handle it. Big Charlie is nice but also rough. Eric is a nice person who is red because he has a rash. They always call him rough Gary. Kind people that are rough and round are also considered big. You will find that a big, young, blue person is also quite round. Those who are nice but a bit rough around the edges are known for being blue. If a kind, red person is also feeling blue then he will be cold to outsiders. Like a blueberry, a big blue person is round as anything. I've noticed that someone with a round shape is also green. A big and round shaped, blue person will be cold for sure.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple4)]
("Bob" "is" "blue" "-")
triple4
Bob is round.
True
3
proof
[(((triple4 triple5) -> rule5) OR ((triple1 triple5 triple4) -> rule2))]
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 triple5 triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Charlie" "is" "blue" "-")
((triple7 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is cold.
True
6
proof
[(((((triple4 triple5) -> rule5) triple4 triple5) -> rule7) OR ((((triple1 triple5 triple4) -> rule2) triple4 triple5) -> rule7))]
("Bob" "is" "cold" "+")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple5 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not cold.
False
6
inv-proof
[(((((triple4 triple5) -> rule5) triple4 triple5) -> rule7) OR ((((triple1 triple5 triple4) -> rule2) triple4 triple5) -> rule7))]
("Bob" "is" "cold" "-")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple5 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is green.
True
6
proof
[(((((((triple7 triple6) -> rule3) triple8) -> rule5)) -> rule6))]
("Charlie" "is" "green" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not green.
False
6
inv-proof
[(((((((triple7 triple6) -> rule3) triple8) -> rule5)) -> rule6))]
("Charlie" "is" "green" "-")
((((((triple7 triple6) -> (rule3 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3 OR ((((triple4 triple5) -> rule5)) -> rule6) OR ((((triple1 triple5 triple4) -> rule2)) -> rule6))] Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Gary is rough.[(triple11)] @1: Bob is round.[(((triple4 triple5) -> rule5) OR ((triple1 triple5 triple4) -> rule2))] Charlie is blue.[(((triple7 triple6) -> rule3))] @2: Bob is cold.[(((((triple4 triple5) -> rule5) triple4 triple5) -> rule7) OR ((((triple1 triple5 triple4) -> rule2) triple4 triple5) -> rule7))] Charlie is round.[(((((triple7 triple6) -> rule3) triple8) -> rule5))] @3: Charlie is cold.[(((((((triple7 triple6) -> rule3) triple8) -> rule5) ((triple7 triple6) -> rule3) triple8) -> rule7))] Charlie is green.[(((((((triple7 triple6) -> rule3) triple8) -> rule5)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
((((triple4 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 triple5 triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple5 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple7 triple6) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple8) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3)) triple8) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Bob is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Bob is big and young so he can handle it.
Big Charlie is nice but also rough.
Eric is a nice person who is red because he has a rash.
They always call him rough Gary.
Kind people that are rough and round are also considered big.
You will find that a big, young, blue person is also quite round.
Those who are nice but a bit rough around the edges are known for being blue.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Like a blueberry, a big blue person is round as anything.
I've noticed that someone with a round shape is also green.
A big and round shaped, blue person will be cold for sure.