When you see Bob, you will notice he is cold, big and kind. Dave is blue and cold. Eric is a person both green and big. Soon you will understand that big people are nice. People who are rough and green with envy are young. A kind, cold, round person will be nice in addition. Rough, round persons are also nice persons. A cold and blue appearing person will be young as well. Young people that are big in size, tend to be more on the blue side. People who are nice and kind are somewhat young.
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Eric is big.
True
1
proof
[(triple7)]
("Eric" "is" "big" "+")
triple7
Bob is not big.
False
1
inv-proof
[(triple3)]
("Bob" "is" "big" "-")
triple3
Bob is nice.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Eric is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Eric" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Bob is young.
True
4
proof
[(((triple1 ((triple3) -> rule1)) -> rule7))]
("Bob" "is" "young" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not young.
False
4
inv-proof
[(((triple1 ((triple3) -> rule1)) -> rule7))]
("Bob" "is" "young" "-")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
True
6
proof
[(((triple3 ((triple1 ((triple3) -> rule1)) -> rule7)) -> rule6))]
("Bob" "is" "blue" "+")
((triple3 ((triple1 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not blue.
False
6
inv-proof
[(((triple3 ((triple1 ((triple3) -> rule1)) -> rule7)) -> rule6))]
("Bob" "is" "blue" "-")
((triple3 ((triple1 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is kind.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Eric is big.[(triple7)] Eric is green.[(triple6)] @1: Bob is nice.[(((triple3) -> rule1))] Dave is young.[(((triple4 triple5) -> rule5))] Eric is nice.[(((triple7) -> rule1))] @2: Bob is young.[(((triple1 ((triple3) -> rule1)) -> rule7))] @3: Bob is blue.[(((triple3 ((triple1 ((triple3) -> rule1)) -> rule7)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple1 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
When you see Bob, you will notice he is cold, big and kind.
Dave is blue and cold.
Eric is a person both green and big.
Soon you will understand that big people are nice.
People who are rough and green with envy are young.
A kind, cold, round person will be nice in addition.
Rough, round persons are also nice persons.
A cold and blue appearing person will be young as well.
Young people that are big in size, tend to be more on the blue side.
People who are nice and kind are somewhat young.