Although Charlie is seen as nice and round, his days of playing football have made him quite rough. Dave was born only a few years ago so he is young. Gary is big and tends to wear red shirts. That big rough Harry guy is both red and blue at the same time. Cold and rough people will also surely be round shaped. You will probably see that big, round, blue people are green, too. When you meet big guys with red hair, then tend to be cold hearted. Big, green people that feel blue are mostly young. A big, green person who is cold is assumed to be red also. Blue, red and nice people are always big, too.
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is rough.
True
1
proof
[(triple7)]
("Harry" "is" "rough" "+")
triple7
Gary is not red.
False
1
inv-proof
[(triple5)]
("Gary" "is" "red" "-")
triple5
Gary is cold.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Gary" "is" "cold" "+")
((triple6 triple5) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple10 triple8) -> rule3))]
("Harry" "is" "cold" "-")
((triple10 triple8) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
True
5
proof
[(((((triple10 triple8) -> rule3) triple7) -> rule1))]
("Harry" "is" "round" "+")
((((triple10 triple8) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not round.
False
5
inv-proof
[(((((triple10 triple8) -> rule3) triple7) -> rule1))]
("Harry" "is" "round" "-")
((((triple10 triple8) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
True
8
proof
[(((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2))]
("Harry" "is" "green" "+")
((((((triple10 triple8) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple10 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not green.
False
8
inv-proof
[(((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2))]
("Harry" "is" "green" "-")
((((((triple10 triple8) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple10 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
True
11
proof
[(((triple10 ((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2) triple9) -> rule4))]
("Harry" "is" "young" "+")
((triple10 ((((((triple10 triple8) -> (rule3 % int4)) triple7) -> (rule1 % int3)) triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not young.
False
11
inv-proof
[(((triple10 ((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2) triple9) -> rule4))]
("Harry" "is" "young" "-")
((triple10 ((((((triple10 triple8) -> (rule3 % int4)) triple7) -> (rule1 % int3)) triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Dave is young.[(triple4)] Gary is big.[(triple6)] Gary is red.[(triple5)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Gary is cold.[(((triple6 triple5) -> rule3))] Harry is cold.[(((triple10 triple8) -> rule3))] @2: Harry is round.[(((((triple10 triple8) -> rule3) triple7) -> rule1))] @3: Harry is green.[(((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2))] @4: Harry is young.[(((triple10 ((((((triple10 triple8) -> rule3) triple7) -> rule1) triple10 triple9) -> rule2) triple9) -> rule4))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple5) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple8) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple10 triple8) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple10 triple8) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple10 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((((((triple10 triple8) -> (rule3 % int4)) triple7) -> (rule1 % int3)) triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Although Charlie is seen as nice and round, his days of playing football have made him quite rough.
Dave was born only a few years ago so he is young.
Gary is big and tends to wear red shirts.
That big rough Harry guy is both red and blue at the same time.
Cold and rough people will also surely be round shaped.
You will probably see that big, round, blue people are green, too.
When you meet big guys with red hair, then tend to be cold hearted.
Big, green people that feel blue are mostly young.
A big, green person who is cold is assumed to be red also.
Blue, red and nice people are always big, too.