Red Alan is what folks call him, because he is quite red. Bob is so young and darling he is kind to all the old people on the block. Big, round Charlie is cold and very green. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. It's a fact that young people are red people. People who are young, while being red and cold, are big people. A young, red person will certainly be cold. Rough and green people are also nice. Folks who are nice and young with red coloration tend to feel blue. A blue colored person who is very nice and kind will be round shaped.
Alan is red.
("Alan" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Bob is red.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "red" "+")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "red" "-")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
True
4
proof
[(((((triple2) -> rule1) triple2) -> rule3))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple2) -> rule1) triple2) -> rule3))]
("Bob" "is" "cold" "-")
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
True
8
proof
[(((triple2 ((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]
("Bob" "is" "big" "+")
((triple2 ((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not big.
False
8
inv-proof
[(((triple2 ((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]
("Bob" "is" "big" "-")
((triple2 ((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is red.[(triple1)] Bob is kind.[(triple3)] Bob is young.[(triple2)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is round.[(triple8)] @1: Bob is red.[(((triple2) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Bob is big.[(((triple2 ((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple2 ((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Red Alan is what folks call him, because he is quite red.
Bob is so young and darling he is kind to all the old people on the block.
Big, round Charlie is cold and very green.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
It's a fact that young people are red people.
People who are young, while being red and cold, are big people.
A young, red person will certainly be cold.
Rough and green people are also nice.
Folks who are nice and young with red coloration tend to feel blue.
A blue colored person who is very nice and kind will be round shaped.