Bob is big and tends to wear red shirts. Big Fred is young and rough but also very nice in a green sorta way. Gary who is big in stature is almost always nice even when he is cold. Those who are nice but a bit rough around the edges are known for being blue. Like a blueberry, a big blue person is round as anything. I've noticed that someone with a round shape is also green. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. Blue, young and round people are usually big. A rather round and green person will be red. A green colored and rough person will be quite kind.
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Fred is not nice.
False
1
inv-proof
[(triple5)]
("Fred" "is" "nice" "-")
triple5
Fred is kind.
True
3
proof
[(((triple6 triple4) -> rule7) OR ((((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3) triple4) -> rule7))]
("Fred" "is" "kind" "+")
((triple6 triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not kind.
False
3
inv-proof
[(((triple6 triple4) -> rule7) OR ((((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3) triple4) -> rule7))]
("Fred" "is" "kind" "-")
((triple6 triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is round.
True
5
proof
[(((((triple5 triple4) -> rule1) triple7) -> rule2))]
("Fred" "is" "round" "+")
((((triple5 triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
5
inv-proof
[(((((triple5 triple4) -> rule1) triple7) -> rule2))]
("Fred" "is" "round" "-")
((((triple5 triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
True
7
proof
[(((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6))]
("Fred" "is" "red" "+")
((((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not red.
False
7
inv-proof
[(((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6))]
("Fred" "is" "red" "-")
((((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is cold.
True
16
proof
[(((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6)) -> rule4))]
("Fred" "is" "cold" "+")
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((triple5 triple4) -> (rule1 % int4)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((triple5 triple4) -> (rule1 % int5)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is blue.
("Fred" "is" "blue" "+")
int5
Fred is not cold.
False
16
inv-proof
[(((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6)) -> rule4))]
("Fred" "is" "cold" "-")
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((triple5 triple4) -> (rule1 % int4)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((triple5 triple4) -> (rule1 % int5)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is blue.
("Fred" "is" "blue" "+")
int5
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple2)] Bob is red.[(triple1)] Fred is big.[(triple7)] Fred is green.[(triple6 OR ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3))] Fred is nice.[(triple5)] Fred is rough.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] @1: Fred is blue.[(((triple5 triple4) -> rule1))] Fred is kind.[(((triple6 triple4) -> rule7) OR ((((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3) triple4) -> rule7))] @2: Fred is round.[(((((triple5 triple4) -> rule1) triple7) -> rule2))] @3: Fred is red.[(((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6))] @4: Fred is cold.[(((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) triple6) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((triple5 triple4) -> rule1) ((((((triple5 triple4) -> rule1) triple7) -> rule2) ((((((triple5 triple4) -> rule1) triple7) -> rule2)) -> rule3)) -> rule6)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
((((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
((triple5 triple4) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
((((triple5 triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) ((triple5 triple4) -> (rule1 % int4)) ((((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((triple5 triple4) -> (rule1 % int5)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4)) ((((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is blue.
("Fred" "is" "blue" "+")
int5
Bob is big and tends to wear red shirts.
Big Fred is young and rough but also very nice in a green sorta way.
Gary who is big in stature is almost always nice even when he is cold.
Those who are nice but a bit rough around the edges are known for being blue.
Like a blueberry, a big blue person is round as anything.
I've noticed that someone with a round shape is also green.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
Blue, young and round people are usually big.
A rather round and green person will be red.
A green colored and rough person will be quite kind.