Alan is a nice and kind young man who is quite big in size. Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. Gary is big and dresses in blue. A young someone is red in thought but green in ideas. Cold, red people are generally kind and big. Despite being too big with bright green skin and freezing cold, these people have always been kind. When someone is blue, lives green they can be rough but kind. I bet you didn't know that nice, kind, cold people happen to be red. A person who is kind but also rough and is also colored blue, will be shaped round. A person who is round and nice is cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
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 blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Eric is cold.
True
3
proof
[(((triple6 triple5) -> rule7))]
("Eric" "is" "cold" "+")
((triple6 triple5) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule7))]
("Eric" "is" "cold" "-")
((triple6 triple5) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
True
6
proof
[(((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5))]
("Eric" "is" "red" "+")
((triple6 triple7 ((triple6 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not red.
False
6
inv-proof
[(((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5))]
("Eric" "is" "red" "-")
((triple6 triple7 ((triple6 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
True
11
proof
[(((triple7 ((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5) ((triple6 triple5) -> rule7)) -> rule2))]
("Eric" "is" "big" "+")
((triple7 ((triple6 triple7 ((triple6 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
11
inv-proof
[(((triple7 ((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5) ((triple6 triple5) -> rule7)) -> rule2))]
("Eric" "is" "big" "-")
((triple7 ((triple6 triple7 ((triple6 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple10)] Gary is blue.[(triple9)] @1: Eric is cold.[(((triple6 triple5) -> rule7))] @2: Eric is red.[(((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5))] @3: Eric is big.[(((triple7 ((triple6 triple7 ((triple6 triple5) -> rule7)) -> rule5) ((triple6 triple5) -> rule7)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 triple5) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple7 ((triple6 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple6 triple7 ((triple6 triple5) -> (rule7 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Alan is a nice and kind young man who is quite big in size.
Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him.
Gary is big and dresses in blue.
A young someone is red in thought but green in ideas.
Cold, red people are generally kind and big.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
When someone is blue, lives green they can be rough but kind.
I bet you didn't know that nice, kind, cold people happen to be red.
A person who is kind but also rough and is also colored blue, will be shaped round.
A person who is round and nice is cold.