Alan is interestingly colored red and blue, and is also very kind. Fred, a green man, was also big, but underneath he was kind. Big Gary is a nice young man who also happens to be red. Others enjoy Harry's company because he is so nice and kind. People who can be kind when they are cold are fundamentally nice. Rough and cold and blue people are round. Big people who are round in stature and also feel rough are often cold to other people. Young people tend to be blue all the time and rough. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. If red and slightly green people are asked, they will tell you they feel blue. Julie is really nice to gardeners since she has a green thumb.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Fred is not kind.
False
1
inv-proof
[(triple4)]
("Fred" "is" "kind" "-")
triple4
Harry is green.
True
2
proof
[(((triple11) -> rule7))]
("Harry" "is" "green" "+")
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple11) -> rule7))]
("Harry" "is" "green" "-")
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is blue.
True
4
proof
[(((((triple9) -> rule7) triple8) -> rule6))]
("Gary" "is" "blue" "+")
((((triple9) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple9) -> rule7) triple8) -> rule6))]
("Gary" "is" "blue" "-")
((((triple9) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
True
6
proof
[(((((((triple9) -> rule7) triple8) -> rule6) triple7) -> rule4))]
("Gary" "is" "rough" "+")
((((((triple9) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not rough.
False
6
inv-proof
[(((((((triple9) -> rule7) triple8) -> rule6) triple7) -> rule4))]
("Gary" "is" "rough" "-")
((((((triple9) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Fred is big.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Gary is big.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Gary is young.[(triple7)] Harry is kind.[(triple12)] Harry is nice.[(triple11)] @1: Gary is green.[(((triple9) -> rule7))] Harry is green.[(((triple11) -> rule7))] @2: Gary is blue.[(((((triple9) -> rule7) triple8) -> rule6))] @3: Gary is rough.[(((((((triple9) -> rule7) triple8) -> rule6) triple7) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple9) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple9) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is interestingly colored red and blue, and is also very kind.
Fred, a green man, was also big, but underneath he was kind.
Big Gary is a nice young man who also happens to be red.
Others enjoy Harry's company because he is so nice and kind.
People who can be kind when they are cold are fundamentally nice.
Rough and cold and blue people are round.
Big people who are round in stature and also feel rough are often cold to other people.
Young people tend to be blue all the time and rough.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
If red and slightly green people are asked, they will tell you they feel blue.
Julie is really nice to gardeners since she has a green thumb.