When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Being so young, Eric is rough during play, even though he is nice. He is big for his age and has blue eyes. Gary, like all young people, is nice. Harry is a kind and red colored guy. If people are nice and round, they look red. A round person who is nice and feelin cold is usually rough in apperance. I've noticed that kind people are also big. A downhearted blue person who is kind is round. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. I've noticed that big people with blue and green skin tend to be young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is big.
True
1
proof
[(triple8)]
("Eric" "is" "big" "+")
triple8
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Harry is big.
True
2
proof
[(((triple12) -> rule3))]
("Harry" "is" "big" "+")
((triple12) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple12) -> rule3))]
("Harry" "is" "big" "-")
((triple12) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Eric is round.
True
6
proof
[(((((triple4 triple8 triple6) -> rule5) triple7) -> rule4))]
("Eric" "is" "round" "+")
((((triple4 triple8 triple6) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not round.
False
6
inv-proof
[(((((triple4 triple8 triple6) -> rule5) triple7) -> rule4))]
("Eric" "is" "round" "-")
((((triple4 triple8 triple6) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
True
8
proof
[(((triple6 ((((triple4 triple8 triple6) -> rule5) triple7) -> rule4)) -> rule1))]
("Eric" "is" "red" "+")
((triple6 ((((triple4 triple8 triple6) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not red.
False
8
inv-proof
[(((triple6 ((((triple4 triple8 triple6) -> rule5) triple7) -> rule4)) -> rule1))]
("Eric" "is" "red" "-")
((triple6 ((((triple4 triple8 triple6) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Gary is nice.[(triple10)] Gary is young.[(triple9)] Harry is kind.[(triple12)] Harry is red.[(triple11)] @1: Eric is kind.[(((triple4 triple8 triple6) -> rule5))] Harry is big.[(((triple12) -> rule3))] @2: Eric is round.[(((((triple4 triple8 triple6) -> rule5) triple7) -> rule4))] @3: Eric is red.[(((triple6 ((((triple4 triple8 triple6) -> rule5) triple7) -> rule4)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
((triple4 triple8 triple6) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((((triple4 triple8 triple6) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple6 ((((triple4 triple8 triple6) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Being so young, Eric is rough during play, even though he is nice; He is big for his age and has blue eyes.
Gary, like all young people, is nice.
Harry is a kind and red colored guy.
If people are nice and round, they look red.
A round person who is nice and feelin cold is usually rough in apperance.
I've noticed that kind people are also big.
A downhearted blue person who is kind is round.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
I've noticed that big people with blue and green skin tend to be young.