Alan appears green and blue, he is also rather round and kind. Bob who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red. Harry is big and tends to wear red shirts. Santa Claus is red and kind. He is also very nice, especially to children. Any human being with green, big, kind eyes, also has round eyes. A nice and blue person who's also red will be a rough person. Despite being too big with bright green skin and freezing cold, these people have always been kind. People who are young and green are also kind. Blue people round with fat are red from too much time in the sun. When a person is blue, cold, and nice, they are also pretty young too.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple8)]
("Bob" "is" "kind" "+")
triple8
Harry is not big.
False
1
inv-proof
[(triple12)]
("Harry" "is" "big" "-")
triple12
Alan is red.
True
3
proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "red" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "red" "-")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
True
5
proof
[(((((triple4 triple1) -> rule6) triple2) -> rule1))]
("Alan" "is" "nice" "+")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not nice.
False
5
inv-proof
[(((((triple4 triple1) -> rule6) triple2) -> rule1))]
("Alan" "is" "nice" "-")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
True
10
proof
[(((triple4 ((((triple4 triple1) -> rule6) triple2) -> rule1) ((triple4 triple1) -> rule6)) -> rule3))]
("Alan" "is" "rough" "+")
((triple4 ((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule1 % int2)) ((triple4 triple1) -> (rule6 % int3))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not rough.
False
10
inv-proof
[(((triple4 ((((triple4 triple1) -> rule6) triple2) -> rule1) ((triple4 triple1) -> rule6)) -> rule3))]
("Alan" "is" "rough" "-")
((triple4 ((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule1 % int2)) ((triple4 triple1) -> (rule6 % int3))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
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 green.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple10)] Bob is cold.[(triple9)] Bob is kind.[(triple8)] Bob is red.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Harry is big.[(triple12)] Harry is red.[(triple11)] @1: Alan is red.[(((triple4 triple1) -> rule6))] Bob is nice.[(((triple7 triple8) -> rule1))] @2: Alan is nice.[(((((triple4 triple1) -> rule6) triple2) -> rule1))] @3: Alan is rough.[(((triple4 ((((triple4 triple1) -> rule6) triple2) -> rule1) ((triple4 triple1) -> rule6)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple7 triple8) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 ((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule1 % int2)) ((triple4 triple1) -> (rule6 % int3))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan appears green and blue, he is also rather round and kind.
Bob who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red.
Harry is big and tends to wear red shirts.
Santa Claus is red and kind; He is also very nice, especially to children.
Any human being with green, big, kind eyes, also has round eyes.
A nice and blue person who's also red will be a rough person.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
People who are young and green are also kind.
Blue people round with fat are red from too much time in the sun.
When a person is blue, cold, and nice, they are also pretty young too.