From a certain angle Dave is blue but he is young so maybe that will go away. My friend Eric is very young. People say he is nice for having a round shape. Harry was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. A kind, round person will surely be red as well. I have found that young, blue, and big individuals are also red. If smeone has a blue and green color, then they are young and probably kind. People that are green tend to be young. Somebody fitting a young, blue and round description will also fit a green description. Being cold and blue made them rough to deal with. A person that is known to be big and rough is also green, they will feel blue about it.
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Harry is not blue.
False
1
inv-proof
[(triple8)]
("Harry" "is" "blue" "-")
triple8
Harry is young.
True
2
proof
[(((triple7) -> rule4))]
("Harry" "is" "young" "+")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple7) -> rule4))]
("Harry" "is" "young" "-")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
True
5
proof
[(((triple8 triple7 ((triple7) -> rule4)) -> rule3))]
("Harry" "is" "kind" "+")
((triple8 triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not kind.
False
5
inv-proof
[(((triple8 triple7 ((triple7) -> rule4)) -> rule3))]
("Harry" "is" "kind" "-")
((triple8 triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
True
7
proof
[(((((triple8 triple7 ((triple7) -> rule4)) -> rule3) triple6) -> rule1))]
("Harry" "is" "red" "+")
((((triple8 triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not red.
False
7
inv-proof
[(((((triple8 triple7 ((triple7) -> rule4)) -> rule3) triple6) -> rule1))]
("Harry" "is" "red" "-")
((((triple8 triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Eric" "is" "kind" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Bob" "is" "kind" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "young" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is blue.[(triple2)] Dave is young.[(triple1)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is round.[(triple6)] @1: Harry is young.[(((triple7) -> rule4))] @2: Harry is kind.[(((triple8 triple7 ((triple7) -> rule4)) -> rule3))] @3: Harry is red.[(((((triple8 triple7 ((triple7) -> rule4)) -> rule3) triple6) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple8 triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
From a certain angle Dave is blue but he is young so maybe that will go away.
My friend Eric is very young; People say he is nice for having a round shape.
Harry was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
A kind, round person will surely be red as well.
I have found that young, blue, and big individuals are also red.
If smeone has a blue and green color, then they are young and probably kind.
People that are green tend to be young.
Somebody fitting a young, blue and round description will also fit a green description.
Being cold and blue made them rough to deal with.
A person that is known to be big and rough is also green, they will feel blue about it.