Alan is rough and red, but he is still young; he is still blue with youth. Dave wears all blue. Even though he's a big dude, Gary is cold. Harry is a rough guy but he is also red, nice, green and big. Being round and nice automatically means a person is kind. A green, downhearted, and blue person with red cheeks is big. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. A person with big hair and rough lips is certainly young and jaded. I have noticed that nice people that are green and blue are often round-shaped. A cold temperatured and rough person who is also green will be big shaped. When someone is rough like sandpaper and young like a tadpole they are always round.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Alan is round.
True
3
proof
[(((triple2 triple1) -> rule7))]
("Alan" "is" "round" "+")
((triple2 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple2 triple1) -> rule7))]
("Alan" "is" "round" "-")
((triple2 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is round.
True
5
proof
[(((triple8 ((triple8 triple12) -> rule4)) -> rule7))]
("Harry" "is" "round" "+")
((triple8 ((triple8 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not round.
False
5
inv-proof
[(((triple8 ((triple8 triple12) -> rule4)) -> rule7))]
("Harry" "is" "round" "-")
((triple8 ((triple8 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
True
7
proof
[(((((triple8 ((triple8 triple12) -> rule4)) -> rule7) triple10) -> rule1))]
("Harry" "is" "kind" "+")
((((triple8 ((triple8 triple12) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not kind.
False
7
inv-proof
[(((((triple8 ((triple8 triple12) -> rule4)) -> rule7) triple10) -> rule1))]
("Harry" "is" "kind" "-")
((((triple8 ((triple8 triple12) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple5)] Gary is big.[(triple7)] Gary is cold.[(triple6)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] @1: Alan is round.[(((triple2 triple1) -> rule7))] Harry is young.[(((triple8 triple12) -> rule4))] @2: Harry is round.[(((triple8 ((triple8 triple12) -> rule4)) -> rule7))] @3: Harry is kind.[(((((triple8 ((triple8 triple12) -> rule4)) -> rule7) triple10) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8 ((triple8 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple8 ((triple8 triple12) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is rough and red, but he is still young; he is still blue with youth.
Dave wears all blue.
Even though he's a big dude, Gary is cold.
Harry is a rough guy but he is also red, nice, green and big.
Being round and nice automatically means a person is kind.
A green, downhearted, and blue person with red cheeks is big.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
A person with big hair and rough lips is certainly young and jaded.
I have noticed that nice people that are green and blue are often round-shaped.
A cold temperatured and rough person who is also green will be big shaped.
When someone is rough like sandpaper and young like a tadpole they are always round.