Alan, a blue and green creature, was also big, rough and kind to others. Gary is rough but nice, big but cold. Harry was looking rather round and feeling rather cold, but people thought he is kind. A young aged and blue colored person will certainly be round. Young and rough people tend to be green too. If you are green you are also kind. When you know someone who is young and green you can count on them being nice to everyone. Green and blue, when found in one person, signify someone who is cold. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Alan is blue.
True
1
proof
[(triple4)]
("Alan" "is" "blue" "+")
triple4
Alan is not rough.
False
1
inv-proof
[(triple1 OR ((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple5 triple4) -> rule7))]
("Alan" "is" "rough" "-")
triple1
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple5 triple4) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is cold.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Alan" "is" "cold" "+")
((triple3 triple4) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("Alan" "is" "cold" "-")
((triple3 triple4) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
True
6
proof
[(((((triple3 triple4) -> rule5) triple3 triple5) -> rule6))]
("Alan" "is" "young" "+")
((((triple3 triple4) -> (rule5 % int2)) triple3 triple5) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not young.
False
6
inv-proof
[(((((triple3 triple4) -> rule5) triple3 triple5) -> rule6))]
("Alan" "is" "young" "-")
((((triple3 triple4) -> (rule5 % int2)) triple3 triple5) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
True
8
proof
[(((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple3) -> rule4))]
("Alan" "is" "nice" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not round.
False
8
inv-proof
[(((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple4) -> rule1))]
("Alan" "is" "round" "-")
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2 OR ((triple3) -> rule3))] Alan is rough.[(triple1 OR ((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple5 triple4) -> rule7))] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is round.[(triple10)] @1: Alan is cold.[(((triple3 triple4) -> rule5))] @2: Alan is young.[(((((triple3 triple4) -> rule5) triple3 triple5) -> rule6))] @3: Alan is nice.[(((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple3) -> rule4))] Alan is round.[(((((((triple3 triple4) -> rule5) triple3 triple5) -> rule6) triple4) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
((triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
triple1
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple5 triple4) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple4) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple3 triple4) -> (rule5 % int2)) triple3 triple5) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple3 triple5) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan, a blue and green creature, was also big, rough and kind to others.
Gary is rough but nice, big but cold.
Harry was looking rather round and feeling rather cold, but people thought he is kind.
A young aged and blue colored person will certainly be round.
Young and rough people tend to be green too.
If you are green you are also kind.
When you know someone who is young and green you can count on them being nice to everyone.
Green and blue, when found in one person, signify someone who is cold.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.