Dave is nice, even when he is rough and red with anger. Fred ate some rotten meat and now feels green. Harry is too round for someone so young. Also, he is sometimes red and sometimes green. All kind, red, and young people are also nice. I've noticed that kind people are also big. If you meet a kind green person with a round shape they will also be young. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Julie is really nice to gardeners since she has a green thumb. A person that is the color red will definitely be round shaped. A green colored and rough person will be quite kind.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple1)]
("Dave" "is" "rough" "+")
triple1
Fred is not green.
False
1
inv-proof
[(triple4)]
("Fred" "is" "green" "-")
triple4
Dave is round.
True
2
proof
[(((triple2) -> rule6))]
("Dave" "is" "round" "+")
((triple2) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple2) -> rule6))]
("Dave" "is" "round" "-")
((triple2) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
True
4
proof
[(((((triple3) -> rule5) triple1) -> rule7))]
("Dave" "is" "kind" "+")
((((triple3) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not kind.
False
4
inv-proof
[(((((triple3) -> rule5) triple1) -> rule7))]
("Dave" "is" "kind" "-")
((((triple3) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
True
9
proof
[(((((((triple3) -> rule5) triple1) -> rule7) ((triple3) -> rule5) ((triple2) -> rule6)) -> rule3))]
("Dave" "is" "young" "+")
((((((triple3) -> (rule5 % int4)) triple1) -> (rule7 % int3)) ((triple3) -> (rule5 % int4)) ((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not big.
False
5
inv-proof
[(((((((triple3) -> rule5) triple1) -> rule7)) -> rule2))]
("Dave" "is" "big" "-")
((((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Fred is green.[(triple4)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6 OR ((triple7) -> rule6))] Harry is young.[(triple5)] @1: Dave is green.[(((triple3) -> rule5))] Dave is round.[(((triple2) -> rule6))] @2: Dave is kind.[(((((triple3) -> rule5) triple1) -> rule7))] @3: Dave is big.[(((((((triple3) -> rule5) triple1) -> rule7)) -> rule2))] Dave is young.[(((((((triple3) -> rule5) triple1) -> rule7) ((triple3) -> rule5) ((triple2) -> rule6)) -> rule3))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
((triple7) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
((triple3) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple2) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple3) -> (rule5 % int4)) triple1) -> (rule7 % int3)) ((triple3) -> (rule5 % int4)) ((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice, even when he is rough and red with anger.
Fred ate some rotten meat and now feels green.
Harry is too round for someone so young; Also, he is sometimes red and sometimes green.
All kind, red, and young people are also nice.
I've noticed that kind people are also big.
If you meet a kind green person with a round shape they will also be young.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Julie is really nice to gardeners since she has a green thumb.
A person that is the color red will definitely be round shaped.
A green colored and rough person will be quite kind.