In the snow sits Bob, crying from being cold. From a certain angle Charlie is blue but he is young so maybe that will go away. Young Dave knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Eric always goes out of his way to show that he is kind to people. People blue with cold are definitely green and new in these parts. Looking blue can be a sign that someone is cold. Kind people, for example, like the ones at the bank are always blue. If you run into a cold and kind person, they are always big.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is kind.
True
1
proof
[(triple10)]
("Eric" "is" "kind" "+")
triple10
Dave is not green.
False
1
inv-proof
[(triple8 OR ((((triple7) -> rule3) triple9) -> rule1) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule2)) -> rule1))]
("Dave" "is" "green" "-")
triple8
((((triple7) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is big.
True
3
proof
[(((triple9 triple7) -> rule4) OR ((((((triple7) -> rule3)) -> rule2) triple7) -> rule4))]
("Dave" "is" "big" "+")
((triple9 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Charlie is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Charlie" "is" "green" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Charlie" "is" "green" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Eric is big.
True
5
proof
[(((((((triple10) -> rule3)) -> rule2) triple10) -> rule4))]
("Eric" "is" "big" "+")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not big.
False
5
inv-proof
[(((((((triple10) -> rule3)) -> rule2) triple10) -> rule4))]
("Eric" "is" "big" "-")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple1)] Charlie is blue.[(triple3)] Charlie is young.[(triple2)] Dave is cold.[(triple9 OR ((((triple7) -> rule3)) -> rule2))] Dave is green.[(triple8 OR ((((triple7) -> rule3) triple9) -> rule1) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule2)) -> rule1))] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is kind.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule2))] Dave is big.[(((triple9 triple7) -> rule4) OR ((((((triple7) -> rule3)) -> rule2) triple7) -> rule4))] Dave is blue.[(((triple7) -> rule3))] Eric is blue.[(((triple10) -> rule3))] @2: Charlie is green.[(((triple3 ((triple3) -> rule2)) -> rule1))] Eric is cold.[(((((triple10) -> rule3)) -> rule2))] @3: Eric is big.[(((((((triple10) -> rule3)) -> rule2) triple10) -> rule4))] Eric is green.[(((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple9
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple8
((((triple7) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple9 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple10) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
In the snow sits Bob, crying from being cold.
From a certain angle Charlie is blue but he is young so maybe that will go away.
Young Dave knew he was round, but he hadn't realized how rough and kind he was; His green nature left him cold and numb to these facts.
Eric always goes out of his way to show that he is kind to people.
People blue with cold are definitely green and new in these parts.
Looking blue can be a sign that someone is cold.
Kind people, for example, like the ones at the bank are always blue.
If you run into a cold and kind person, they are always big.