Eric, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Gary is known to be rough and green. Even though big Harry can be rough and cold, he is nice for someone as red as he is. A nice person with rough skin is red. Often, when you meet a rough person with red skin, you'll see that they are young too. Most young and nice people will be kind. A rough person that is cold towards others is green. Young and kind folks are always big. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Green people who are kind with rosy red skin are round.
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Eric is round.
True
1
proof
[(triple1)]
("Eric" "is" "round" "+")
triple1
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Harry is young.
True
3
proof
[(((triple7 triple8) -> rule2) OR ((triple7 ((triple7 triple9) -> rule1)) -> rule2))]
("Harry" "is" "young" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not green.
False
3
inv-proof
[(((triple7 triple10) -> rule4))]
("Harry" "is" "green" "-")
((triple7 triple10) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
True
5
proof
[(((((triple7 triple8) -> rule2) triple9) -> rule3) OR ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3))]
("Harry" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 ((triple7 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not kind.
False
5
inv-proof
[(((((triple7 triple8) -> rule2) triple9) -> rule3) OR ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3))]
("Harry" "is" "kind" "-")
((((triple7 triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 ((triple7 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
True
10
proof
[(((triple8 ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((triple8 ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7))]
("Harry" "is" "round" "+")
((triple8 ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple8 ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not round.
False
10
inv-proof
[(((triple8 ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((triple8 ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7))]
("Harry" "is" "round" "-")
((triple8 ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple8 ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Eric is green.[(triple4)] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1)] Gary is green.[(triple6)] Gary is rough.[(triple5)] Harry is big.[(triple11 OR ((((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple8) -> rule2)) -> rule5) OR ((((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 ((triple7 triple9) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple8) -> rule2)) -> rule5) OR ((((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 ((triple7 triple9) -> rule1)) -> rule2)) -> rule5))] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8 OR ((triple7 triple9) -> rule1))] Harry is rough.[(triple7)] @1: Harry is green.[(((triple7 triple10) -> rule4))] Harry is young.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple7 triple9) -> rule1)) -> rule2))] @2: Harry is kind.[(((((triple7 triple8) -> rule2) triple9) -> rule3) OR ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3))] @3: Harry is round.[(((triple8 ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((triple8 ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7))]
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
((((((triple7 triple8) -> (rule2 % int3)) triple9) -> (rule3 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7 triple9) -> (rule1 % int4))) -> (rule2 % int3)) triple9) -> (rule3 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple7 ((triple7 triple9) -> (rule1 % int4))) -> (rule2 % int3)) triple9) -> (rule3 % int2)) ((triple7 ((triple7 triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
((triple7 triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple10) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 ((triple7 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple8 ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 triple8) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple8 ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule1 % int5)) ((((triple7 ((triple7 triple9) -> (rule1 % int5))) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Eric, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Gary is known to be rough and green.
Even though big Harry can be rough and cold, he is nice for someone as red as he is.
A nice person with rough skin is red.
Often, when you meet a rough person with red skin, you'll see that they are young too.
Most young and nice people will be kind.
A rough person that is cold towards others is green.
Young and kind folks are always big.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Green people who are kind with rosy red skin are round.