Charlie was born only a few years ago so he is young. Dave gets red when he is mad and tends to act very cold. To the touch Gary has rough, cold skin. When you meet Harry you'll the two characteristics that will standout is that he's red but also rough. A person who is green and rough and round is also young. It's been proven that red, rough people are green as well. When someone is nice, dressing in red, they can be blue because they are cold. People that are green tend to be young. Kind young people that are still blue are generally round shaped. Invariably, any young person whose skin appears rough and green is bound to be quite big. A red and green colored person who is cold will be round shaped.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Harry is green.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Harry" "is" "green" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Harry" "is" "green" "-")
((triple7 triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
True
4
proof
[(((((triple7 triple6) -> rule2)) -> rule4))]
("Harry" "is" "young" "+")
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not young.
False
4
inv-proof
[(((((triple7 triple6) -> rule2)) -> rule4))]
("Harry" "is" "young" "-")
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
True
9
proof
[(((((((triple7 triple6) -> rule2)) -> rule4) ((triple7 triple6) -> rule2) triple6) -> rule6))]
("Harry" "is" "big" "+")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not big.
False
9
inv-proof
[(((((((triple7 triple6) -> rule2)) -> rule4) ((triple7 triple6) -> rule2) triple6) -> rule6))]
("Harry" "is" "big" "-")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is young.[(triple1)] Dave is cold.[(triple3)] Dave is red.[(triple2)] Gary is cold.[(triple5)] Gary is rough.[(triple4)] Harry is red.[(triple7)] Harry is rough.[(triple6)] @1: Harry is green.[(((triple7 triple6) -> rule2))] @2: Harry is young.[(((((triple7 triple6) -> rule2)) -> rule4))] @3: Harry is big.[(((((((triple7 triple6) -> rule2)) -> rule4) ((triple7 triple6) -> rule2) triple6) -> rule6))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Charlie was born only a few years ago so he is young.
Dave gets red when he is mad and tends to act very cold.
To the touch Gary has rough, cold skin.
When you meet Harry you'll the two characteristics that will standout is that he's red but also rough.
A person who is green and rough and round is also young.
It's been proven that red, rough people are green as well.
When someone is nice, dressing in red, they can be blue because they are cold.
People that are green tend to be young.
Kind young people that are still blue are generally round shaped.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
A red and green colored person who is cold will be round shaped.