In the snow sits Alan, crying from being cold. Bob's a young guy. He's a cold, blue and big guy, too. Eric is green, which is a possible explanation for why he is so nice. You will probably see that big, round, blue people are green, too. People blue with cold are definitely green and new in these parts. A round person will also be red. A big, young aged person that is green will be round shaped. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Eric is green.
True
1
proof
[(triple7)]
("Eric" "is" "green" "+")
triple7
Bob is not big.
False
1
inv-proof
[(triple5)]
("Bob" "is" "big" "-")
triple5
Bob is green.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Bob" "is" "green" "-")
((triple4 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
True
6
proof
[(((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4))]
("Bob" "is" "round" "+")
((triple5 ((triple4 triple3) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not round.
False
6
inv-proof
[(((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4))]
("Bob" "is" "round" "-")
((triple5 ((triple4 triple3) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
True
7
proof
[(((((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4)) -> rule3))]
("Bob" "is" "red" "+")
((((triple5 ((triple4 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not red.
False
7
inv-proof
[(((((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4)) -> rule3))]
("Bob" "is" "red" "-")
((((triple5 ((triple4 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Alan is cold.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is young.[(triple2)] Eric is green.[(triple7)] Eric is nice.[(triple6)] @1: Bob is green.[(((triple4 triple3) -> rule2))] @2: Bob is round.[(((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4))] @3: Bob is red.[(((((triple5 ((triple4 triple3) -> rule2) triple2) -> rule4)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5 ((triple4 triple3) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple5 ((triple4 triple3) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
In the snow sits Alan, crying from being cold.
Bob's a young guy; He's a cold, blue and big guy, too.
Eric is green, which is a possible explanation for why he is so nice.
You will probably see that big, round, blue people are green, too.
People blue with cold are definitely green and new in these parts.
A round person will also be red.
A big, young aged person that is green will be round shaped.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.