In the snow sits Alan, crying from being cold. Bob's a round guy, and a red and green guy. Charlie's a round guy, and a red and green guy. Fred wears all blue. Young people who wear red lipstick are certainly kind. Blue Christmas ornaments are also red. Blue kind people are almost always nice to others. Red, big people can't help but be round as well. If you are green you are also kind. A big person who is kind and nice is usually red because their prone to blushing. Anyone who's blue is also green.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is round.
True
1
proof
[(triple5)]
("Charlie" "is" "round" "+")
triple5
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Fred is green.
True
2
proof
[(((triple8) -> rule7))]
("Fred" "is" "green" "+")
((triple8) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple7) -> rule5))]
("Charlie" "is" "kind" "-")
((triple7) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fred is kind.
True
3
proof
[(((((triple8) -> rule7)) -> rule5))]
("Fred" "is" "kind" "+")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not kind.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule5))]
("Fred" "is" "kind" "-")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
True
5
proof
[(((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3))]
("Fred" "is" "nice" "+")
((triple8 ((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not nice.
False
5
inv-proof
[(((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3))]
("Fred" "is" "nice" "-")
((triple8 ((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Alan" "is" "kind" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is cold.[(triple1)] Bob is green.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Charlie is green.[(triple7)] Charlie is red.[(triple6)] Charlie is round.[(triple5)] Fred is blue.[(triple8)] @1: Bob is kind.[(((triple4) -> rule5))] Charlie is kind.[(((triple7) -> rule5))] Fred is green.[(((triple8) -> rule7))] Fred is red.[(((triple8) -> rule2))] @2: Fred is kind.[(((((triple8) -> rule7)) -> rule5))] @3: Fred is nice.[(((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple7) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 ((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
In the snow sits Alan, crying from being cold.
Bob's a round guy, and a red and green guy.
Charlie's a round guy, and a red and green guy.
Fred wears all blue.
Young people who wear red lipstick are certainly kind.
Blue Christmas ornaments are also red.
Blue kind people are almost always nice to others.
Red, big people can't help but be round as well.
If you are green you are also kind.
A big person who is kind and nice is usually red because their prone to blushing.
Anyone who's blue is also green.