Bob has a round face and is very nice. When he was found Gary was an icy cold blue. Being green and not used to country life Gary didn't know that being kind and round would get him trapped in a snowstorm. Gary is red with embarrassment. Harry was born only a few years ago so he is young. Nice people that are blue because they are cold turn green with envy. People with red hair, rough skin and big teeth manage to be nice to people. Young and nice people have great big smiles. Nice and blue people have to be big as well. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Young, kind people have the trait of being cold and are also very nice to interact with. Those who are round and cold are young.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("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 cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is young.
True
3
proof
[(((triple7 triple3) -> rule7))]
("Gary" "is" "young" "+")
((triple7 triple3) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple7 triple3) -> rule7))]
("Gary" "is" "young" "-")
((triple7 triple3) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
6
proof
[(((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6))]
("Gary" "is" "nice" "+")
((triple7 ((triple7 triple3) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6))]
("Gary" "is" "nice" "-")
((triple7 ((triple7 triple3) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
True
8
proof
[(((((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6) triple8) -> rule4) OR ((((triple7 triple3) -> rule7) ((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6)) -> rule3))]
("Gary" "is" "big" "+")
((((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple7 triple3) -> (rule7 % int3)) ((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not big.
False
8
inv-proof
[(((((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6) triple8) -> rule4) OR ((((triple7 triple3) -> rule7) ((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6)) -> rule3))]
("Gary" "is" "big" "-")
((((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple7 triple3) -> (rule7 % int3)) ((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is green.[(triple6 OR ((triple7 triple8 triple3) -> rule5) OR ((triple8 ((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6) triple7) -> rule1))] Gary is kind.[(triple5)] Gary is red.[(triple4)] Gary is round.[(triple3)] Harry is young.[(triple9)] @1: Gary is young.[(((triple7 triple3) -> rule7))] @2: Gary is nice.[(((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6))] @3: Gary is big.[(((((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6) triple8) -> rule4) OR ((((triple7 triple3) -> rule7) ((triple7 ((triple7 triple3) -> rule7) triple5) -> rule6)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple7 triple8 triple3) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple8 ((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple3) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 ((triple7 triple3) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple7 triple3) -> (rule7 % int3)) ((triple7 ((triple7 triple3) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob has a round face and is very nice.
When he was found Gary was an icy cold blue; Being green and not used to country life Gary didn't know that being kind and round would get him trapped in a snowstorm; Gary is red with embarrassment.
Harry was born only a few years ago so he is young.
Nice people that are blue because they are cold turn green with envy.
People with red hair, rough skin and big teeth manage to be nice to people.
Young and nice people have great big smiles.
Nice and blue people have to be big as well.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Young, kind people have the trait of being cold and are also very nice to interact with.
Those who are round and cold are young.