Bob is so young and darling he is kind to all the old people on the block. Fred ate some rotten meat and now feels green. Big Gary is cold but kind and always green. I have found that blue, kind people are big. A round shaped and young aged person will be very cold. Kind and young people are round. A person fitting the description of rough, cold and red will also be a nice person. A person who is round shaped while also being quite cold tends to be nice. A person with a round body will be feeling very cold and will be rough to handle. Take a drive and find a kind and blue driver, that means they are also young.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Gary is kind.
True
1
proof
[(triple4)]
("Gary" "is" "kind" "+")
triple4
Fred is not green.
False
1
inv-proof
[(triple3)]
("Fred" "is" "green" "-")
triple3
Bob is round.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Bob" "is" "round" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Bob" "is" "round" "-")
((triple1 triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
True
5
proof
[(((((triple1 triple2) -> rule3) triple1) -> rule2))]
("Bob" "is" "cold" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((((triple1 triple2) -> rule3) triple1) -> rule2))]
("Bob" "is" "cold" "-")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
True
9
proof
[(((((((triple1 triple2) -> rule3) triple1) -> rule2) ((triple1 triple2) -> rule3)) -> rule6))]
("Bob" "is" "rough" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2)) ((triple1 triple2) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple1 triple2) -> rule3) ((((triple1 triple2) -> rule3) triple1) -> rule2)) -> rule5))]
("Bob" "is" "nice" "-")
((((triple1 triple2) -> (rule3 % int3)) ((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
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 kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Fred is green.[(triple3)] Gary is big.[(triple7)] Gary is cold.[(triple6)] Gary is green.[(triple5)] Gary is kind.[(triple4)] @1: Bob is round.[(((triple1 triple2) -> rule3))] @2: Bob is cold.[(((((triple1 triple2) -> rule3) triple1) -> rule2))] @3: Bob is nice.[(((((triple1 triple2) -> rule3) ((((triple1 triple2) -> rule3) triple1) -> rule2)) -> rule5))] Bob is rough.[(((((((triple1 triple2) -> rule3) triple1) -> rule2) ((triple1 triple2) -> rule3)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1 triple2) -> (rule3 % int3)) ((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2)) ((triple1 triple2) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is so young and darling he is kind to all the old people on the block.
Fred ate some rotten meat and now feels green.
Big Gary is cold but kind and always green.
I have found that blue, kind people are big.
A round shaped and young aged person will be very cold.
Kind and young people are round.
A person fitting the description of rough, cold and red will also be a nice person.
A person who is round shaped while also being quite cold tends to be nice.
A person with a round body will be feeling very cold and will be rough to handle.
Take a drive and find a kind and blue driver, that means they are also young.