Bob was born only a few years ago so he is young. In the snow sits Charlie, crying from being cold. Fred, who is a young, rough person, is also a kind and cold guy. When you see Gary, you will notice he is cold, big and kind. Cold and rough people will also surely be round shaped. People who are big and kind and feel down and blue tend to have rough skin. People feeling green and blue are somewhat nice. Being big and kind like a gentle giant can make anyone blue.
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Gary is blue.
True
3
proof
[(((triple9 triple7) -> rule4))]
("Gary" "is" "blue" "+")
((triple9 triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple9 triple7) -> rule4))]
("Gary" "is" "blue" "-")
((triple9 triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
True
6
proof
[(((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2))]
("Gary" "is" "rough" "+")
((triple7 triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2))]
("Gary" "is" "rough" "-")
((triple7 triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
True
8
proof
[(((triple8 ((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2)) -> rule1))]
("Gary" "is" "round" "+")
((triple8 ((triple7 triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not round.
False
8
inv-proof
[(((triple8 ((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2)) -> rule1))]
("Gary" "is" "round" "-")
((triple8 ((triple7 triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is young.[(triple1)] Charlie is cold.[(triple2)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is rough.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is kind.[(triple7)] @1: Fred is round.[(((triple6 triple4) -> rule1))] Gary is blue.[(((triple9 triple7) -> rule4))] @2: Gary is rough.[(((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2))] @3: Gary is round.[(((triple8 ((triple7 triple9 ((triple9 triple7) -> rule4)) -> rule2)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
((triple6 triple4) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 ((triple7 triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob was born only a few years ago so he is young.
In the snow sits Charlie, crying from being cold.
Fred, who is a young, rough person, is also a kind and cold guy.
When you see Gary, you will notice he is cold, big and kind.
Cold and rough people will also surely be round shaped.
People who are big and kind and feel down and blue tend to have rough skin.
People feeling green and blue are somewhat nice.
Being big and kind like a gentle giant can make anyone blue.