My friend Dave is very young. People say he is nice for having a round shape. Eric tends to be nice, but is young. Eric has rough blue skin. Fred is blue just like his dog. Fred is rough and round enough for the dog to use him as an exercise wheel. Gary always goes out of his way to show that he is kind to people. Everyone that is rough but also kind will be green. Young round folks who are at least a bit red are actually nice. If a person that is blue and green is also cold, that means that they are young. A cold, red person with a kind disposition will certainly be big. Kind people who look green are almost always young in age. People who are rough are often rather kind as well.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Dave is round.
True
1
proof
[(triple2)]
("Dave" "is" "round" "+")
triple2
Eric is not blue.
False
1
inv-proof
[(triple7)]
("Eric" "is" "blue" "-")
triple7
Eric is kind.
True
2
proof
[(((triple5) -> rule6))]
("Eric" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
2
inv-proof
[(((triple5) -> rule6))]
("Eric" "is" "kind" "-")
((triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
True
4
proof
[(((((triple5) -> rule6) triple5) -> rule1))]
("Eric" "is" "green" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not green.
False
4
inv-proof
[(((((triple5) -> rule6) triple5) -> rule1))]
("Eric" "is" "green" "-")
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Fred is young.
True
7
proof
[(((((((triple9) -> rule6) triple9) -> rule1) ((triple9) -> rule6)) -> rule5))]
("Fred" "is" "young" "+")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule1 % int2)) ((triple9) -> (rule6 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not young.
False
7
inv-proof
[(((((((triple9) -> rule6) triple9) -> rule1) ((triple9) -> rule6)) -> rule5))]
("Fred" "is" "young" "-")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule1 % int2)) ((triple9) -> (rule6 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Dave is nice.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4 OR ((((((triple5) -> rule6) triple5) -> rule1) ((triple5) -> rule6)) -> rule5))] Fred is blue.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] Gary is kind.[(triple11)] @1: Eric is kind.[(((triple5) -> rule6))] Fred is kind.[(((triple9) -> rule6))] @2: Eric is green.[(((((triple5) -> rule6) triple5) -> rule1))] Fred is green.[(((((triple9) -> rule6) triple9) -> rule1))] @3: Fred is young.[(((((((triple9) -> rule6) triple9) -> rule1) ((triple9) -> rule6)) -> rule5))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
((((((triple5) -> (rule6 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple9) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple9) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule1 % int2)) ((triple9) -> (rule6 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
My friend Dave is very young; People say he is nice for having a round shape.
Eric tends to be nice, but is young; Eric has rough blue skin.
Fred is blue just like his dog; Fred is rough and round enough for the dog to use him as an exercise wheel.
Gary always goes out of his way to show that he is kind to people.
Everyone that is rough but also kind will be green.
Young round folks who are at least a bit red are actually nice.
If a person that is blue and green is also cold, that means that they are young.
A cold, red person with a kind disposition will certainly be big.
Kind people who look green are almost always young in age.
People who are rough are often rather kind as well.