Dave is a pretty young guy, who is quite nice, with a round shape, and red and green features. Eric loves desserts which has made him quite round.  He's a nice guy and loves the outdoors.  Recently he went skiing and his skin turned blue int he cold.  He jumped in the hot tub and turned red as a beet. Harry looks red to most people, with blue features. If you can find someone who is nice and red, then be relieved that they are certain to be kind. Someone who's young and frosty cold are actually very nice. Blue and red people who are young always have rough skin. Take a drive and find a kind and blue driver, that means they are also young.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is nice.
True
1
proof
[(triple8)]
("Eric" "is" "nice" "+")
triple8
Dave is not young.
False
1
inv-proof
[(triple1)]
("Dave" "is" "young" "-")
triple1
Dave is kind.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Dave" "is" "kind" "+")
((triple4 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Dave" "is" "kind" "-")
((triple4 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is young.
True
5
proof
[(((((triple8 triple7) -> rule1) triple10) -> rule4))]
("Eric" "is" "young" "+")
((((triple8 triple7) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not young.
False
5
inv-proof
[(((((triple8 triple7) -> rule1) triple10) -> rule4))]
("Eric" "is" "young" "-")
((((triple8 triple7) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
True
8
proof
[(((triple10 triple7 ((((triple8 triple7) -> rule1) triple10) -> rule4)) -> rule3))]
("Eric" "is" "rough" "+")
((triple10 triple7 ((((triple8 triple7) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not rough.
False
8
inv-proof
[(((triple10 triple7 ((((triple8 triple7) -> rule1) triple10) -> rule4)) -> rule3))]
("Eric" "is" "rough" "-")
((triple10 triple7 ((((triple8 triple7) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Dave is green.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Harry is blue.[(triple12)] Harry is red.[(triple11)] @1: Dave is kind.[(((triple4 triple3) -> rule1))] Eric is kind.[(((triple8 triple7) -> rule1))] @2: Eric is young.[(((((triple8 triple7) -> rule1) triple10) -> rule4))] @3: Eric is rough.[(((triple10 triple7 ((((triple8 triple7) -> rule1) triple10) -> rule4)) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple7) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple8 triple7) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple10 triple7 ((((triple8 triple7) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Dave is a pretty young guy, who is quite nice, with a round shape, and red and green features.
Eric loves desserts which has made him quite round; He's a nice guy and loves the outdoors; Recently he went skiing and his skin turned blue int he cold; He jumped in the hot tub and turned red as a beet.
Harry looks red to most people, with blue features.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
Someone who's young and frosty cold are actually very nice.
Blue and red people who are young always have rough skin.
Take a drive and find a kind and blue driver, that means they are also young.