Even though he's a big dude, Alan is cold. Big Bob is a kind man and often wears blue and green shirts. Eric is blue from ink he spilled on himself while being kind and helping some children paint. Fred's a round guy, and a red and green guy. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Kind people,though green,tend to be nice. Big, kind, and nice people are often red in color. Color anybody red and blue, then make them rough, and they will surely be round. Being green, blue, and red all point to how young someone was. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Eric is not kind.
False
1
inv-proof
[(triple7)]
("Eric" "is" "kind" "-")
triple7
Bob is nice.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "nice" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "nice" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
True
6
proof
[(((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3))]
("Bob" "is" "red" "+")
((triple6 triple3 ((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not red.
False
6
inv-proof
[(((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3))]
("Bob" "is" "red" "-")
((triple6 triple3 ((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
True
9
proof
[(((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule6) ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5))]
("Bob" "is" "young" "+")
((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not young.
False
9
inv-proof
[(((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule6) ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5))]
("Bob" "is" "young" "-")
((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "young" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5 OR ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule6))] Bob is green.[(triple4)] Bob is kind.[(triple3)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Fred is green.[(triple11)] Fred is red.[(triple10)] Fred is round.[(triple9)] @1: Bob is nice.[(((triple3 triple4) -> rule2))] @2: Bob is red.[(((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3))] @3: Bob is young.[(((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule6) ((triple6 triple3 ((triple3 triple4) -> rule2)) -> rule3)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple6 triple3 ((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((triple4 triple6 ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple3 ((triple3 triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Even though he's a big dude, Alan is cold.
Big Bob is a kind man and often wears blue and green shirts.
Eric is blue from ink he spilled on himself while being kind and helping some children paint.
Fred's a round guy, and a red and green guy.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
Kind people,though green,tend to be nice.
Big, kind, and nice people are often red in color.
Color anybody red and blue, then make them rough, and they will surely be round.
Being green, blue, and red all point to how young someone was.
If you meet somebody who is green, big and red you'll notice they are also blue.