Alan is rough, round and young but also red. To the touch Charlie has rough, cold skin. Gary was born only a few years ago so he is young. Harry vowed to always be rough, cold, blue, and big as possible. A green colored, nice and young person will be big shaped. In every case of people being kind and blue and green, we find they are concurrently nice. When someone is blue, lives green they can be rough but kind. Cold, green people have a habit of eating alot and looking quite round. When someone feels blue and rough, they might be described as green. Big and cold people are likely to be round, too. A person who is kind but also rough and is also colored blue, will be shaped round.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
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 cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Alan is rough.
True
1
proof
[(triple3)]
("Alan" "is" "rough" "+")
triple3
Alan is not red.
False
1
inv-proof
[(triple4)]
("Alan" "is" "red" "-")
triple4
Harry is green.
True
3
proof
[(((triple10 triple8) -> rule5))]
("Harry" "is" "green" "+")
((triple10 triple8) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple11 triple9) -> rule6) OR ((triple9 ((triple10 triple8) -> rule5)) -> rule4) OR ((((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3) triple8 triple10) -> rule7))]
("Harry" "is" "round" "-")
((triple11 triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple9 ((triple10 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple10 triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple8 triple10) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
True
6
proof
[(((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3))]
("Harry" "is" "kind" "+")
((triple10 triple8 ((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3))]
("Harry" "is" "kind" "-")
((triple10 triple8 ((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
True
11
proof
[(((((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3) triple10 ((triple10 triple8) -> rule5)) -> rule2))]
("Harry" "is" "nice" "+")
((((triple10 triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule5 % int3))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not nice.
False
11
inv-proof
[(((((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3) triple10 ((triple10 triple8) -> rule5)) -> rule2))]
("Harry" "is" "nice" "-")
((((triple10 triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule5 % int3))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is red.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] @1: Harry is green.[(((triple10 triple8) -> rule5))] Harry is round.[(((triple11 triple9) -> rule6) OR ((triple9 ((triple10 triple8) -> rule5)) -> rule4) OR ((((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3) triple8 triple10) -> rule7))] @2: Harry is kind.[(((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3))] @3: Harry is nice.[(((((triple10 triple8 ((triple10 triple8) -> rule5)) -> rule3) triple10 ((triple10 triple8) -> rule5)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple8) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple9 ((triple10 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple10 triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple8 triple10) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple8 ((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10 triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule5 % int3))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is rough, round and young but also red.
To the touch Charlie has rough, cold skin.
Gary was born only a few years ago so he is young.
Harry vowed to always be rough, cold, blue, and big as possible.
A green colored, nice and young person will be big shaped.
In every case of people being kind and blue and green, we find they are concurrently nice.
When someone is blue, lives green they can be rough but kind.
Cold, green people have a habit of eating alot and looking quite round.
When someone feels blue and rough, they might be described as green.
Big and cold people are likely to be round, too.
A person who is kind but also rough and is also colored blue, will be shaped round.