Alan who is big in stature is almost always nice even when he is cold. Bob, like all young people, is nice. Big, round Eric is cold and very green. Harry is known to be rough and green. A round person who is nice and feelin cold is usually rough in apperance. If you see someone who is red and green they are round, like Santa Claus. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. You will discover that green rough people are always red. When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
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 red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Harry is red.
True
3
proof
[(((triple11 triple10) -> rule5))]
("Harry" "is" "red" "+")
((triple11 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule4))]
("Eric" "is" "nice" "-")
((triple7 triple9) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is round.
True
5
proof
[(((((triple11 triple10) -> rule5) triple11) -> rule2))]
("Harry" "is" "round" "+")
((((triple11 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Eric is not rough.
False
6
inv-proof
[(((triple6 ((triple7 triple9) -> rule4) triple8) -> rule1))]
("Eric" "is" "rough" "-")
((triple6 ((triple7 triple9) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
True
8
proof
[(((triple7 ((triple6 ((triple7 triple9) -> rule4) triple8) -> rule1)) -> rule5))]
("Eric" "is" "red" "+")
((triple7 ((triple6 ((triple7 triple9) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not red.
False
8
inv-proof
[(((triple7 ((triple6 ((triple7 triple9) -> rule4) triple8) -> rule1)) -> rule5))]
("Eric" "is" "red" "-")
((triple7 ((triple6 ((triple7 triple9) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is round.[(triple6)] Harry is green.[(triple11)] Harry is rough.[(triple10)] @1: Eric is nice.[(((triple7 triple9) -> rule4))] Harry is red.[(((triple11 triple10) -> rule5))] @2: Eric is rough.[(((triple6 ((triple7 triple9) -> rule4) triple8) -> rule1))] Harry is round.[(((((triple11 triple10) -> rule5) triple11) -> rule2))] @3: Eric is red.[(((triple7 ((triple6 ((triple7 triple9) -> rule4) triple8) -> rule1)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple9) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 ((triple7 triple9) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((triple6 ((triple7 triple9) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan who is big in stature is almost always nice even when he is cold.
Bob, like all young people, is nice.
Big, round Eric is cold and very green.
Harry is known to be rough and green.
A round person who is nice and feelin cold is usually rough in apperance.
If you see someone who is red and green they are round, like Santa Claus.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
You will discover that green rough people are always red.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.