Alan wears all blue. Bob is young, rough and green, but he is also kind and is red when embarrassed. Fred is a person both green and big. Harry is a red person who is round and also feels blue. If a kind person is also young and round shaped, they will be colored blue. It is true that kind people who have become cold and blue and survived are necessarily big. Cold, red people are generally kind and big. Like a blueberry, a big blue person is round as anything. People that feel green are cold to people that try to help them. When anyone is young, red and green, you know they'll also be blue. If you find that someone has rough blue skin they are always kind.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is blue.
True
4
proof
[(((triple4 triple2 triple6) -> rule6))]
("Bob" "is" "blue" "+")
((triple4 triple2 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple6) -> rule5))]
("Bob" "is" "cold" "-")
((triple6) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
True
5
proof
[(((triple5 triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2))]
("Bob" "is" "big" "+")
((triple5 triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 triple2 triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int3)) triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not big.
False
5
inv-proof
[(((triple5 triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2))]
("Bob" "is" "big" "-")
((triple5 triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 triple2 triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int3)) triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is round.
True
10
proof
[(((((triple4 triple2 triple6) -> rule6) ((triple5 triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2)) -> rule4))]
("Bob" "is" "round" "+")
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple5 triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int4)) triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple4 triple2 triple6) -> (rule6 % int5)) ((triple6) -> (rule5 % int4)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not round.
False
10
inv-proof
[(((((triple4 triple2 triple6) -> rule6) ((triple5 triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2)) -> rule4))]
("Bob" "is" "round" "-")
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple5 triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int4)) triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple4 triple2 triple6) -> (rule6 % int5)) ((triple6) -> (rule5 % int4)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Alan is not round.
Unknown
inv-rconc
[@3: Alan is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is blue.[(triple1)] Bob is green.[(triple6)] Bob is kind.[(triple5 OR ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7))] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Fred is big.[(triple8)] Fred is green.[(triple7)] Harry is blue.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is blue.[(((triple4 triple2 triple6) -> rule6))] Bob is cold.[(((triple6) -> rule5))] Fred is cold.[(((triple7) -> rule5))] @2: Bob is big.[(((triple5 triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2))] @3: Bob is round.[(((((triple4 triple2 triple6) -> rule6) ((triple5 triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple3 ((triple4 triple2 triple6) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 triple2 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple6) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 triple2 triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int3)) triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple5 triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int4)) ((((triple4 triple2 triple6) -> (rule6 % int4)) ((triple6) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int4)) triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple4 triple2 triple6) -> (rule6 % int5)) ((((triple4 triple2 triple6) -> (rule6 % int5)) ((triple6) -> (rule5 % int4)) ((triple3 ((triple4 triple2 triple6) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Alan wears all blue.
Bob is young, rough and green, but he is also kind and is red when embarrassed.
Fred is a person both green and big.
Harry is a red person who is round and also feels blue.
If a kind person is also young and round shaped, they will be colored blue.
It is true that kind people who have become cold and blue and survived are necessarily big.
Cold, red people are generally kind and big.
Like a blueberry, a big blue person is round as anything.
People that feel green are cold to people that try to help them.
When anyone is young, red and green, you know they'll also be blue.
If you find that someone has rough blue skin they are always kind.