Bob is a big gentleman who is very nice. He is secretly green with envy. They always call him rough Fred. Even though young Gary is red from his sunburn, his lips are blue because he is cold. Harry is young, he is also red and green. A cold and young aged person will be big for sure. It is true that anyone who is cold while being young and nice is secretly a kind person. Green people will be nice even when they have been rough. Show me someone who is cold and kind, and I'll show you how green they are. If you are big and young then your are also nice. Have you noticed that green and round folks are also so young. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Harry is young.
True
1
proof
[(triple9)]
("Harry" "is" "young" "+")
triple9
Harry is not young.
False
1
inv-proof
[(triple9)]
("Harry" "is" "young" "-")
triple9
Bob is rough.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Bob" "is" "rough" "-")
((triple2 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is nice.
True
5
proof
[(((((triple5 triple7) -> rule1) triple5) -> rule5))]
("Gary" "is" "nice" "+")
((((triple5 triple7) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((((triple5 triple7) -> rule1) triple5) -> rule5))]
("Gary" "is" "nice" "-")
((((triple5 triple7) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
True
8
proof
[(((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2))]
("Gary" "is" "kind" "+")
((((((triple5 triple7) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple7 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not kind.
False
8
inv-proof
[(((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2))]
("Gary" "is" "kind" "-")
((((((triple5 triple7) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple7 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
True
10
proof
[(((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4))]
("Gary" "is" "green" "+")
((triple7 ((((((triple5 triple7) -> (rule1 % int4)) triple5) -> (rule5 % int3)) triple7 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not green.
False
10
inv-proof
[(((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4))]
("Gary" "is" "green" "-")
((triple7 ((((((triple5 triple7) -> (rule1 % int4)) triple5) -> (rule5 % int3)) triple7 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
True
16
proof
[(((((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4) ((((triple5 triple7) -> rule1) triple5) -> rule5)) -> rule3))]
("Gary" "is" "rough" "+")
((((triple7 ((((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4)) triple7 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not rough.
False
16
inv-proof
[(((((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4) ((((triple5 triple7) -> rule1) triple5) -> rule5)) -> rule3))]
("Gary" "is" "rough" "-")
((((triple7 ((((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4)) triple7 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "young" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Fred is rough.[(triple4)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is red.[(triple6)] Gary is young.[(triple5)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Bob is rough.[(((triple2 triple1) -> rule3))] Gary is big.[(((triple5 triple7) -> rule1))] @2: Gary is nice.[(((((triple5 triple7) -> rule1) triple5) -> rule5))] @3: Gary is kind.[(((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2))] @4: Gary is green.[(((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4))] @5: Gary is rough.[(((((triple7 ((((((triple5 triple7) -> rule1) triple5) -> rule5) triple7 triple5) -> rule2)) -> rule4) ((((triple5 triple7) -> rule1) triple5) -> rule5)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple5 triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple5 triple7) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple5 triple7) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple7 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((((((triple5 triple7) -> (rule1 % int4)) triple5) -> (rule5 % int3)) triple7 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7 ((((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4)) triple7 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple5 triple7) -> (rule1 % int5)) triple5) -> (rule5 % int4))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Bob is a big gentleman who is very nice; He is secretly green with envy.
They always call him rough Fred.
Even though young Gary is red from his sunburn, his lips are blue because he is cold.
Harry is young, he is also red and green.
A cold and young aged person will be big for sure.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Green people will be nice even when they have been rough.
Show me someone who is cold and kind, and I'll show you how green they are.
If you are big and young then your are also nice.
Have you noticed that green and round folks are also so young.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.