Alan is round, dresses in red, but is blue with cold. Charlie is big and dresses in blue. Big Dave is nice but also rough. Fred is big and tends to wear red shirts. A young aged and blue colored person will certainly be round. If the description of nice and green applies to somebody, the description of young will, too. A big person who looks blue is also going to look young. It's inevitable that young, green people are big. I've noticed that someone with a round shape is also green. Kind people who are nice find that they must also be rough. Young people that are also red and green, may be fairly rough, also.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Dave is not nice.
False
1
inv-proof
[(triple8)]
("Dave" "is" "nice" "-")
triple8
Alan is green.
True
2
proof
[(((triple1) -> rule5))]
("Alan" "is" "green" "+")
((triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple1) -> rule5))]
("Alan" "is" "green" "-")
((triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is round.
True
5
proof
[(((((triple5 triple6) -> rule3) triple5) -> rule1))]
("Charlie" "is" "round" "+")
((((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((((triple5 triple6) -> rule3) triple5) -> rule1))]
("Charlie" "is" "round" "-")
((((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
True
6
proof
[(((((((triple5 triple6) -> rule3) triple5) -> rule1)) -> rule5))]
("Charlie" "is" "green" "+")
((((((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not green.
False
6
inv-proof
[(((((((triple5 triple6) -> rule3) triple5) -> rule1)) -> rule5))]
("Charlie" "is" "green" "-")
((((((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Dave is big.[(triple9)] Dave is nice.[(triple8)] Dave is rough.[(triple7)] Fred is big.[(triple11)] Fred is red.[(triple10)] @1: Alan is green.[(((triple1) -> rule5))] Charlie is young.[(((triple5 triple6) -> rule3))] @2: Charlie is round.[(((((triple5 triple6) -> rule3) triple5) -> rule1))] @3: Charlie is green.[(((((((triple5 triple6) -> rule3) triple5) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Alan is round, dresses in red, but is blue with cold.
Charlie is big and dresses in blue.
Big Dave is nice but also rough.
Fred is big and tends to wear red shirts.
A young aged and blue colored person will certainly be round.
If the description of nice and green applies to somebody, the description of young will, too.
A big person who looks blue is also going to look young.
It's inevitable that young, green people are big.
I've noticed that someone with a round shape is also green.
Kind people who are nice find that they must also be rough.
Young people that are also red and green, may be fairly rough, also.