Alan is young and green. He is big and is rough around the edges with tough red skin. Fred has rough skin so it is red. He is big but so very kind. Gary is a person both green and big. People who are big and kind are also round. A round shaped and rough person will be blue as well. Cold, red people are generally kind and big. People with blue and red skin color are also green.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Fred is kind.
True
1
proof
[(triple8)]
("Fred" "is" "kind" "+")
triple8
Fred is not kind.
False
1
inv-proof
[(triple8)]
("Fred" "is" "kind" "-")
triple8
Fred is round.
True
3
proof
[(((triple8 triple9) -> rule1))]
("Fred" "is" "round" "+")
((triple8 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Fred" "is" "round" "-")
((triple8 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
True
5
proof
[(((triple6 ((triple8 triple9) -> rule1)) -> rule2))]
("Fred" "is" "blue" "+")
((triple6 ((triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple6 ((triple8 triple9) -> rule1)) -> rule2))]
("Fred" "is" "blue" "-")
((triple6 ((triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
True
7
proof
[(((((triple6 ((triple8 triple9) -> rule1)) -> rule2) triple7) -> rule4))]
("Fred" "is" "green" "+")
((((triple6 ((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not green.
False
7
inv-proof
[(((((triple6 ((triple8 triple9) -> rule1)) -> rule2) triple7) -> rule4))]
("Fred" "is" "green" "-")
((((triple6 ((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Fred is big.[(triple9)] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple11)] Gary is green.[(triple10)] @1: Fred is round.[(((triple8 triple9) -> rule1))] @2: Fred is blue.[(((triple6 ((triple8 triple9) -> rule1)) -> rule2))] @3: Fred is green.[(((((triple6 ((triple8 triple9) -> rule1)) -> rule2) triple7) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 ((triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple6 ((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Alan is young and green; He is big and is rough around the edges with tough red skin.
Fred has rough skin so it is red; He is big but so very kind.
Gary is a person both green and big.
People who are big and kind are also round.
A round shaped and rough person will be blue as well.
Cold, red people are generally kind and big.
People with blue and red skin color are also green.