Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Bob is rough and cold, but he's young and will get over it. Gary is both young and fairly round in size. Harry is so big, he is often blue, but always kind. A depressed person feeling blue who is kind cannot escape from being green. People who always wear red and act in a kind manner towards everyone they meet also have a round body. A rough and round person is also a big person. A rather round and green person will be red. It's true that green and blue people are also red people.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Harry is green.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "green" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
True
5
proof
[(((((triple10 triple9) -> rule1) triple10) -> rule5))]
("Harry" "is" "red" "+")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
5
inv-proof
[(((((triple10 triple9) -> rule1) triple10) -> rule5))]
("Harry" "is" "red" "-")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
True
7
proof
[(((((((triple10 triple9) -> rule1) triple10) -> rule5) triple9) -> rule2))]
("Harry" "is" "round" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not round.
False
7
inv-proof
[(((((((triple10 triple9) -> rule1) triple10) -> rule5) triple9) -> rule2))]
("Harry" "is" "round" "-")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple4)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] @1: Harry is green.[(((triple10 triple9) -> rule1))] @2: Harry is red.[(((((triple10 triple9) -> rule1) triple10) -> rule5))] @3: Harry is round.[(((((((triple10 triple9) -> rule1) triple10) -> rule5) triple9) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Bob is rough and cold, but he's young and will get over it.
Gary is both young and fairly round in size.
Harry is so big, he is often blue, but always kind.
A depressed person feeling blue who is kind cannot escape from being green.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
A rough and round person is also a big person.
A rather round and green person will be red.
It's true that green and blue people are also red people.