In the snow sits Alan, crying from being cold. Bob is so young and darling he is kind to all the old people on the block. They always call him rough Charlie. Fred is nice and kind. He is green with envy which makes him feel blue. Surprisingly, all the kind, green people were also big. Young and nice people have great big smiles. If a kind person is also young and round shaped, they will be colored blue. A big, blue person who is kind is also round. You will always find a cold, rough, red person to also be a round person. A young, green person who is cold is rough around the edges. A person that is round, green, and blue is usually considered cold.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
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 kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Fred is big.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Fred" "is" "big" "-")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
True
6
proof
[(((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4))]
("Fred" "is" "round" "+")
((triple8 triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not round.
False
6
inv-proof
[(((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4))]
("Fred" "is" "round" "-")
((triple8 triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
True
9
proof
[(((((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4) triple7 triple8) -> rule7))]
("Fred" "is" "cold" "+")
((((triple8 triple6 ((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple7 triple8) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4) triple7 triple8) -> rule7))]
("Fred" "is" "cold" "-")
((((triple8 triple6 ((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple7 triple8) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is cold.[(triple1)] Bob is kind.[(triple3)] Bob is young.[(triple2)] Charlie is rough.[(triple4)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] @1: Fred is big.[(((triple6 triple7) -> rule1))] @2: Fred is round.[(((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4))] @3: Fred is cold.[(((((triple8 triple6 ((triple6 triple7) -> rule1)) -> rule4) triple7 triple8) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 triple6 ((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple7 triple8) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
In the snow sits Alan, crying from being cold.
Bob is so young and darling he is kind to all the old people on the block.
They always call him rough Charlie.
Fred is nice and kind; He is green with envy which makes him feel blue.
Surprisingly, all the kind, green people were also big.
Young and nice people have great big smiles.
If a kind person is also young and round shaped, they will be colored blue.
A big, blue person who is kind is also round.
You will always find a cold, rough, red person to also be a round person.
A young, green person who is cold is rough around the edges.
A person that is round, green, and blue is usually considered cold.