Bob's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Eric, who is a young, rough person, is also a kind and cold guy. Harry is rough, but often feels blue. He is pretty young. Whoever is rough and red must be kind. You'll always find a young, kind and red person to be a cold person, too. This person is nice and young, also round, which makes them cold. It's a fact that young people are red people. It is true that kind people who have become cold and blue and survived are necessarily big. Young people tend to rough and nice, but they are also red. I believe that red, cold, rough people are likely to be green.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
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 young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Eric is red.
True
2
proof
[(((triple6) -> rule4))]
("Eric" "is" "red" "+")
((triple6) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple10) -> rule4))]
("Harry" "is" "red" "-")
((triple10) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
True
4
proof
[(((triple11 ((triple10) -> rule4)) -> rule1))]
("Harry" "is" "kind" "+")
((triple11 ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not kind.
False
4
inv-proof
[(((triple11 ((triple10) -> rule4)) -> rule1))]
("Harry" "is" "kind" "-")
((triple11 ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
True
8
proof
[(((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2))]
("Harry" "is" "cold" "+")
((((triple11 ((triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple10 ((triple10) -> (rule4 % int3))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2))]
("Harry" "is" "cold" "-")
((((triple11 ((triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple10 ((triple10) -> (rule4 % int3))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
True
12
proof
[(((triple11 ((triple10) -> rule4) ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2)) -> rule7))]
("Harry" "is" "green" "+")
((triple11 ((triple10) -> (rule4 % int4)) ((((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3)) triple10 ((triple10) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not big.
False
14
inv-proof
[(((triple12 ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2) ((triple11 ((triple10) -> rule4)) -> rule1)) -> rule5))]
("Harry" "is" "big" "-")
((triple12 ((((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3)) triple10 ((triple10) -> (rule4 % int4))) -> (rule2 % int2)) ((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Eric is cold.[(triple9 OR ((triple8 triple6 ((triple6) -> rule4)) -> rule2) OR ((((triple7 ((triple6) -> rule4)) -> rule1) triple6 ((triple6) -> rule4)) -> rule2))] Eric is kind.[(triple8 OR ((triple7 ((triple6) -> rule4)) -> rule1))] Eric is rough.[(triple7)] Eric is young.[(triple6)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is young.[(triple10)] @1: Charlie is kind.[(((triple4 triple5) -> rule1))] Eric is red.[(((triple6) -> rule4))] Harry is red.[(((triple10) -> rule4))] @2: Eric is green.[(((triple7 ((triple6) -> rule4) triple9) -> rule7) OR ((triple7 ((triple6) -> rule4) ((triple8 triple6 ((triple6) -> rule4)) -> rule2)) -> rule7) OR ((triple7 ((triple6) -> rule4) ((((triple7 ((triple6) -> rule4)) -> rule1) triple6 ((triple6) -> rule4)) -> rule2)) -> rule7))] Harry is kind.[(((triple11 ((triple10) -> rule4)) -> rule1))] @3: Harry is cold.[(((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2))] @4: Harry is big.[(((triple12 ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2) ((triple11 ((triple10) -> rule4)) -> rule1)) -> rule5))] Harry is green.[(((triple11 ((triple10) -> rule4) ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple9
((triple8 triple6 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple6 ((triple6) -> (rule4 % int3))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
triple8
((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7 ((triple6) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple7 ((triple6) -> (rule4 % int3)) ((triple8 triple6 ((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((triple7 ((triple6) -> (rule4 % int4)) ((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3)) triple6 ((triple6) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 ((triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple10 ((triple10) -> (rule4 % int3))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple12 ((((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3)) triple10 ((triple10) -> (rule4 % int4))) -> (rule2 % int2)) ((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((triple10) -> (rule4 % int4)) ((((triple11 ((triple10) -> (rule4 % int4))) -> (rule1 % int3)) triple10 ((triple10) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Bob's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
Eric, who is a young, rough person, is also a kind and cold guy.
Harry is rough, but often feels blue; He is pretty young.
Whoever is rough and red must be kind.
You'll always find a young, kind and red person to be a cold person, too.
This person is nice and young, also round, which makes them cold.
It's a fact that young people are red people.
It is true that kind people who have become cold and blue and survived are necessarily big.
Young people tend to rough and nice, but they are also red.
I believe that red, cold, rough people are likely to be green.