Upon meeting Bob, you'll notice he's green and kind. Charlie is green, which is a possible explanation for why he is so nice. This Dave guy is red. He is also kind and yet cold. Others enjoy Eric's company because he is so nice and kind. A cold, rough person is also round. Don't be surprised to hear that all nice, kind folks are in fact rough. Kind people,though green,tend to be nice. Young people who are nice and cold, are rather green. Big people that tend to be nice and blue, may also be a little rough to others. A cold, red, kind soul will also prove to be nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Eric is rough.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Dave is not nice.
False
4
inv-proof
[(((triple6 triple7 triple5) -> rule6))]
("Dave" "is" "nice" "-")
((triple6 triple7 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
True
6
proof
[(((((triple6 triple7 triple5) -> rule6) triple6) -> rule2))]
("Dave" "is" "rough" "+")
((((triple6 triple7 triple5) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple1 triple2) -> rule3) triple1) -> rule2))]
("Bob" "is" "rough" "-")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is round.
True
8
proof
[(((((((triple6 triple7 triple5) -> rule6) triple6) -> rule2) triple7) -> rule1))]
("Dave" "is" "round" "+")
((((((triple6 triple7 triple5) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not round.
False
8
inv-proof
[(((((((triple6 triple7 triple5) -> rule6) triple6) -> rule2) triple7) -> rule1))]
("Dave" "is" "round" "-")
((((((triple6 triple7 triple5) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] @1: Bob is nice.[(((triple1 triple2) -> rule3))] Dave is nice.[(((triple6 triple7 triple5) -> rule6))] Eric is rough.[(((triple8 triple9) -> rule2))] @2: Bob is rough.[(((((triple1 triple2) -> rule3) triple1) -> rule2))] Dave is rough.[(((((triple6 triple7 triple5) -> rule6) triple6) -> rule2))] @3: Dave is round.[(((((((triple6 triple7 triple5) -> rule6) triple6) -> rule2) triple7) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple7 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple6 triple7 triple5) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((((triple6 triple7 triple5) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Upon meeting Bob, you'll notice he's green and kind.
Charlie is green, which is a possible explanation for why he is so nice.
This Dave guy is red; He is also kind and yet cold.
Others enjoy Eric's company because he is so nice and kind.
A cold, rough person is also round.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Kind people,though green,tend to be nice.
Young people who are nice and cold, are rather green.
Big people that tend to be nice and blue, may also be a little rough to others.
A cold, red, kind soul will also prove to be nice.