Bob is young but big for his age. Bob wasn't feeling well so he is a little green. Eric gets red when he is mad and tends to act very cold. If you have a fire big Gary comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire. A cold and young aged person will be big for sure. It's inevitable that young, green people are big. A human that's cold also means they are a human that is young. I've noticed that someone who is big and acts cold towards others is green as well. A nice person with rough skin will be round, you can count on it.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Gary is nice.
True
1
proof
[(triple6)]
("Gary" "is" "nice" "+")
triple6
Gary is not big.
False
1
inv-proof
[(triple9)]
("Gary" "is" "big" "-")
triple9
Eric is young.
True
2
proof
[(((triple5) -> rule3))]
("Eric" "is" "young" "+")
((triple5) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
2
inv-proof
[(((triple5) -> rule3))]
("Eric" "is" "young" "-")
((triple5) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
True
4
proof
[(((((triple5) -> rule3) triple5) -> rule1))]
("Eric" "is" "big" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not big.
False
4
inv-proof
[(((((triple5) -> rule3) triple5) -> rule1))]
("Eric" "is" "big" "-")
((((triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
True
6
proof
[(((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule4))]
("Eric" "is" "green" "+")
((triple5 ((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not green.
False
6
inv-proof
[(((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule4))]
("Eric" "is" "green" "-")
((triple5 ((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Bob is big.[(triple3 OR ((triple1 triple2) -> rule2))] Bob is green.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple5)] Eric is red.[(triple4)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] @1: Eric is young.[(((triple5) -> rule3))] @2: Eric is big.[(((((triple5) -> rule3) triple5) -> rule1))] @3: Eric is green.[(((triple5 ((((triple5) -> rule3) triple5) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
((triple5) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Bob is young but big for his age; Bob wasn't feeling well so he is a little green.
Eric gets red when he is mad and tends to act very cold.
If you have a fire big Gary comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire.
A cold and young aged person will be big for sure.
It's inevitable that young, green people are big.
A human that's cold also means they are a human that is young.
I've noticed that someone who is big and acts cold towards others is green as well.
A nice person with rough skin will be round, you can count on it.