Alan looks big and is kind with red hair and green shoes. Young Bob is wearing green pants. Charlie is nice and young with red hair and a blue shirt. Eric is so young and darling he is kind to all the old people on the block. Nice blue people are often rough. If a person is blue, rough, and green, then they are also big. Fat, round people who are green with envy and notoriously rough. It's been proven that red, rough people are green as well. A person described as cold and kind can also be described as nice. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Charlie is young.
True
1
proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Alan is not kind.
False
1
inv-proof
[(triple2)]
("Alan" "is" "kind" "-")
triple2
Charlie is rough.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Charlie" "is" "rough" "+")
((triple9 triple10) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Charlie" "is" "rough" "-")
((triple9 triple10) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
True
5
proof
[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))]
("Charlie" "is" "green" "+")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))]
("Charlie" "is" "green" "-")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
True
10
proof
[(((triple10 ((triple9 triple10) -> rule1) ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule2))]
("Charlie" "is" "big" "+")
((triple10 ((triple9 triple10) -> (rule1 % int3)) ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not big.
False
10
inv-proof
[(((triple10 ((triple9 triple10) -> rule1) ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule2))]
("Charlie" "is" "big" "-")
((triple10 ((triple9 triple10) -> (rule1 % int3)) ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple6)] Bob is young.[(triple5)] Charlie is blue.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is young.[(triple7)] Eric is kind.[(triple12)] Eric is young.[(triple11)] @1: Charlie is rough.[(((triple9 triple10) -> rule1))] @2: Charlie is green.[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))] @3: Charlie is big.[(((triple10 ((triple9 triple10) -> rule1) ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple12
Eric is young.
("Eric" "is" "young" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9 triple10) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple10 ((triple9 triple10) -> (rule1 % int3)) ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan looks big and is kind with red hair and green shoes.
Young Bob is wearing green pants.
Charlie is nice and young with red hair and a blue shirt.
Eric is so young and darling he is kind to all the old people on the block.
Nice blue people are often rough.
If a person is blue, rough, and green, then they are also big.
Fat, round people who are green with envy and notoriously rough.
It's been proven that red, rough people are green as well.
A person described as cold and kind can also be described as nice.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.