You could say that Bob is red and kind and it would also be true that he is cold and big. In the snow sits Charlie, crying from being cold. Big Gary is nice but also rough. An individual that fits the nice, red, and kind description will fit the description of big, too. A person who is described as round and rough is usually kind. People who are blue and red and kind are described as being green. I see it all the time, nice big people make equal a cold person. Nice people are kind and rough when they are young. If you're cold and red then you're nice. A nice person with rough skin will be round, you can count on it.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple3)]
("Bob" "is" "cold" "+")
triple3
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Gary is round.
True
3
proof
[(((triple6 triple7) -> rule7))]
("Gary" "is" "round" "+")
((triple6 triple7) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule6))]
("Bob" "is" "nice" "-")
((triple3 triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is kind.
True
5
proof
[(((((triple6 triple7) -> rule7) triple6) -> rule2))]
("Gary" "is" "kind" "+")
((((triple6 triple7) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((((triple6 triple7) -> rule7) triple6) -> rule2))]
("Gary" "is" "kind" "-")
((((triple6 triple7) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
True
8
proof
[(((triple7 ((((triple6 triple7) -> rule7) triple6) -> rule2) triple6) -> rule5))]
("Gary" "is" "young" "+")
((triple7 ((((triple6 triple7) -> (rule7 % int3)) triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
8
inv-proof
[(((triple7 ((((triple6 triple7) -> rule7) triple6) -> rule2) triple6) -> rule5))]
("Gary" "is" "young" "-")
((triple7 ((((triple6 triple7) -> (rule7 % int3)) triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is big.[(triple4 OR ((triple1 triple2 ((triple3 triple1) -> rule6)) -> rule1))] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple5)] Gary is big.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] @1: Bob is nice.[(((triple3 triple1) -> rule6))] Gary is cold.[(((triple7 triple8) -> rule4))] Gary is round.[(((triple6 triple7) -> rule7))] @2: Gary is kind.[(((((triple6 triple7) -> rule7) triple6) -> rule2))] @3: Gary is young.[(((triple7 ((((triple6 triple7) -> rule7) triple6) -> rule2) triple6) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple4
((triple1 triple2 ((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple6 triple7) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6 triple7) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple7 ((((triple6 triple7) -> (rule7 % int3)) triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
You could say that Bob is red and kind and it would also be true that he is cold and big.
In the snow sits Charlie, crying from being cold.
Big Gary is nice but also rough.
An individual that fits the nice, red, and kind description will fit the description of big, too.
A person who is described as round and rough is usually kind.
People who are blue and red and kind are described as being green.
I see it all the time, nice big people make equal a cold person.
Nice people are kind and rough when they are young.
If you're cold and red then you're nice.
A nice person with rough skin will be round, you can count on it.