Alan wears all blue. As much as Bob is nice, he is also cold and often feels blue. Charlie has rough skin so it is red. He is big but so very kind. Young and rough people tend to be green too. A quite nice person will certainly be red. Someone who is not only rough and big but also nice will necessarily be round as well. All nice people are young. Green people who are kind with rosy red skin are round. Young people are rough.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is kind.
True
1
proof
[(triple7)]
("Charlie" "is" "kind" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "big" "-")
triple8
Bob is red.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "red" "+")
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "young" "-")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
True
3
proof
[(((((triple2) -> rule4)) -> rule6))]
("Bob" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not rough.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6))]
("Bob" "is" "rough" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
True
6
proof
[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule1))]
("Bob" "is" "green" "+")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not green.
False
6
inv-proof
[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule1))]
("Bob" "is" "green" "-")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is blue.[(triple1)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is nice.[(triple2)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] @1: Bob is red.[(((triple2) -> rule2))] Bob is young.[(((triple2) -> rule4))] @2: Bob is rough.[(((((triple2) -> rule4)) -> rule6))] @3: Bob is green.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan wears all blue.
As much as Bob is nice, he is also cold and often feels blue.
Charlie has rough skin so it is red; He is big but so very kind.
Young and rough people tend to be green too.
A quite nice person will certainly be red.
Someone who is not only rough and big but also nice will necessarily be round as well.
All nice people are young.
Green people who are kind with rosy red skin are round.
Young people are rough.