Alan has a round face and is very nice. Fred has a round face and is very nice. Gary ate some rotten meat and now feels green. Harry is made of many colors, red and blue and green. He is also rough and cold. A kind person that is also red and rough is usually also nice. I've noticed that kind people are also big. Big people that are cold will show you how rough they actually are. A green colored person will be young and also kind. Someone blue and red is definitely round and dressed as a clown. Being green, blue, and red all point to how young someone was. A very nice and kind person will also be round shaped.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Gary is green.
True
1
proof
[(triple5)]
("Gary" "is" "green" "+")
triple5
Harry is not cold.
False
1
inv-proof
[(triple9)]
("Harry" "is" "cold" "-")
triple9
Harry is young.
True
4
proof
[(((triple8 triple10 triple7) -> rule6))]
("Harry" "is" "young" "+")
((triple8 triple10 triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple10 triple7) -> rule5) OR ((((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3) triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule7))]
("Harry" "is" "round" "-")
((triple10 triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 ((triple8 triple10 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule1 % int2)) ((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is kind.
True
6
proof
[(((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4))]
("Harry" "is" "kind" "+")
((triple8 ((triple8 triple10 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4))]
("Harry" "is" "kind" "-")
((triple8 ((triple8 triple10 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
True
9
proof
[(((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3) triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1))]
("Harry" "is" "nice" "+")
((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is not nice.
False
9
inv-proof
[(((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3) triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1))]
("Harry" "is" "nice" "-")
((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Fred is nice.[(triple4)] Fred is round.[(triple3)] Gary is green.[(triple5)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6 OR ((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3))] @1: Harry is round.[(((triple10 triple7) -> rule5) OR ((((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3) triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule7))] Harry is young.[(((triple8 triple10 triple7) -> rule6))] @2: Harry is kind.[(((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4))] @3: Harry is big.[(((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2))] Harry is nice.[(((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule2)) -> rule3) triple7 ((triple8 ((triple8 triple10 triple7) -> rule6)) -> rule4)) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((triple10 triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 ((triple8 triple10 triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule1 % int2)) ((triple8 ((triple8 triple10 triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple10 triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 ((triple8 triple10 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple8 ((triple8 triple10 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple9 ((((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple8 ((triple8 triple10 triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Alan has a round face and is very nice.
Fred has a round face and is very nice.
Gary ate some rotten meat and now feels green.
Harry is made of many colors, red and blue and green; He is also rough and cold.
A kind person that is also red and rough is usually also nice.
I've noticed that kind people are also big.
Big people that are cold will show you how rough they actually are.
A green colored person will be young and also kind.
Someone blue and red is definitely round and dressed as a clown.
Being green, blue, and red all point to how young someone was.
A very nice and kind person will also be round shaped.