Charlie ate some rotten meat and now feels green. Young Dave is wearing green pants. Harry is big for being as young as he is. You will also notice how he is green and red. A person who is nice and green with envy is round. A round shaped and young aged person will be very cold. Kind and blue people,though young,tend to be big. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. People that are big but also green, may ultimately be very nice. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple4)]
("Harry" "is" "young" "+")
triple4
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Harry is nice.
True
3
proof
[(((triple7 triple6) -> rule5))]
("Harry" "is" "nice" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple7 triple6) -> rule5))]
("Harry" "is" "nice" "-")
((triple7 triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
True
5
proof
[(((((triple7 triple6) -> rule5) triple6) -> rule1))]
("Harry" "is" "round" "+")
((((triple7 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not round.
False
5
inv-proof
[(((((triple7 triple6) -> rule5) triple6) -> rule1))]
("Harry" "is" "round" "-")
((((triple7 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
True
7
proof
[(((((((triple7 triple6) -> rule5) triple6) -> rule1) triple4) -> rule2))]
("Harry" "is" "cold" "+")
((((((triple7 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((((((triple7 triple6) -> rule5) triple6) -> rule1) triple4) -> rule2))]
("Harry" "is" "cold" "-")
((((((triple7 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@4: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule5 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Charlie is green.[(triple1)] Dave is green.[(triple3)] Dave is young.[(triple2)] Harry is big.[(triple7)] Harry is green.[(triple6)] Harry is red.[(triple5)] Harry is young.[(triple4)] @1: Harry is nice.[(((triple7 triple6) -> rule5))] @2: Harry is round.[(((((triple7 triple6) -> rule5) triple6) -> rule1))] @3: Harry is cold.[(((((((triple7 triple6) -> rule5) triple6) -> rule1) triple4) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple7 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple7 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie ate some rotten meat and now feels green.
Young Dave is wearing green pants.
Harry is big for being as young as he is; You will also notice how he is green and red.
A person who is nice and green with envy is round.
A round shaped and young aged person will be very cold.
Kind and blue people,though young,tend to be big.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
People that are big but also green, may ultimately be very nice.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.