Alan is a round shaped but rough person, and is nice with the color blue. Red Bob is what folks call him, because he is quite red. Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Others enjoy Eric's company because he is so nice and kind. People who are blue and green are nice. Red people feel blue about it. If red and slightly green people are asked, they will tell you they feel blue. Cold and kind people tend to be blue. Anyone with red and blue coloration also has green coloration. Being blue, cold, and rough must be very trying. At least they are also big.
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Alan is blue.
True
1
proof
[(triple4)]
("Alan" "is" "blue" "+")
triple4
Dave is not kind.
False
1
inv-proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Dave is nice.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "nice" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "nice" "-")
((triple8 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is green.
True
4
proof
[(((triple5 ((triple5) -> rule2)) -> rule5))]
("Bob" "is" "green" "+")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not green.
False
4
inv-proof
[(((triple5 ((triple5) -> rule2)) -> rule5))]
("Bob" "is" "green" "-")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
7
proof
[(((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((((triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((((triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple5)] Dave is blue.[(triple8)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] @1: Bob is blue.[(((triple5) -> rule2))] Dave is nice.[(((triple8 triple7) -> rule1))] @2: Bob is green.[(((triple5 ((triple5) -> rule2)) -> rule5))] @3: Bob is nice.[(((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan is a round shaped but rough person, and is nice with the color blue.
Red Bob is what folks call him, because he is quite red.
Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Others enjoy Eric's company because he is so nice and kind.
People who are blue and green are nice.
Red people feel blue about it.
If red and slightly green people are asked, they will tell you they feel blue.
Cold and kind people tend to be blue.
Anyone with red and blue coloration also has green coloration.
Being blue, cold, and rough must be very trying; At least they are also big.