They always call him rough Alan. Young Charlie is wearing green pants. Gary is a man who is both round and rough. Harry appears green and blue, he is also rather round and kind. Soon you will understand that big people are nice. People who are rough and green with envy are young. Big, kind people are nice. People who always wear red and act in a kind manner towards everyone they meet also have a round body. A red and green colored person who is cold will be round shaped. Kind people,though green,are cold. If you run into a cold and kind person, they are always big.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Harry is cold.
True
3
proof
[(((triple7 triple8) -> rule6))]
("Harry" "is" "cold" "+")
((triple7 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple7 triple8) -> rule6))]
("Harry" "is" "cold" "-")
((triple7 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
True
5
proof
[(((((triple7 triple8) -> rule6) triple7) -> rule7))]
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not big.
False
5
inv-proof
[(((((triple7 triple8) -> rule6) triple7) -> rule7))]
("Harry" "is" "big" "-")
((((triple7 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
True
6
proof
[(((((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule1) OR ((triple7 ((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule3))]
("Harry" "is" "nice" "+")
((((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple7 ((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not nice.
False
6
inv-proof
[(((((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule1) OR ((triple7 ((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule3))]
("Harry" "is" "nice" "-")
((((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple7 ((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "big" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is rough.[(triple1)] Charlie is green.[(triple3)] Charlie is young.[(triple2)] Gary is rough.[(triple5)] Gary is round.[(triple4)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is round.[(triple6)] @1: Harry is cold.[(((triple7 triple8) -> rule6))] @2: Harry is big.[(((((triple7 triple8) -> rule6) triple7) -> rule7))] @3: Harry is nice.[(((((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule1) OR ((triple7 ((((triple7 triple8) -> rule6) triple7) -> rule7)) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple7 ((((triple7 triple8) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
They always call him rough Alan.
Young Charlie is wearing green pants.
Gary is a man who is both round and rough.
Harry appears green and blue, he is also rather round and kind.
Soon you will understand that big people are nice.
People who are rough and green with envy are young.
Big, kind people are nice.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
A red and green colored person who is cold will be round shaped.
Kind people,though green,are cold.
If you run into a cold and kind person, they are always big.