Young Alan is red, green and cold. Due to the fact that Charlie is young, he is red and green. He remains kind nevertheless. Eric is big and tends to wear red shirts. They always call him rough Fred. People who can be kind when they are cold are fundamentally nice. A person that is both green and red tends to be cold as well. A person with a rough quality is also a person with a blue quality. A kind person who is green is usually round. A person being big and rough makes them cold towards others but that also means that they are kind. If a rather cold person is also kind then they are probably rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple8)]
("Charlie" "is" "green" "+")
triple8
Eric is not big.
False
1
inv-proof
[(triple10)]
("Eric" "is" "big" "-")
triple10
Charlie is round.
True
3
proof
[(((triple7 triple8) -> rule4))]
("Charlie" "is" "round" "+")
((triple7 triple8) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple11) -> rule3))]
("Fred" "is" "blue" "-")
((triple11) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Charlie is rough.
True
5
proof
[(((((triple8 triple6) -> rule2) triple7) -> rule6))]
("Charlie" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((((triple8 triple6) -> rule2) triple7) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple8 triple6) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
True
6
proof
[(((((((triple8 triple6) -> rule2) triple7) -> rule6)) -> rule3))]
("Charlie" "is" "blue" "+")
((((((triple8 triple6) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((((((triple8 triple6) -> rule2) triple7) -> rule6)) -> rule3))]
("Charlie" "is" "blue" "-")
((((((triple8 triple6) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Alan" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is cold.[(triple4 OR ((triple3 triple2) -> rule2))] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is young.[(triple5)] Eric is big.[(triple10)] Eric is red.[(triple9)] Fred is rough.[(triple11)] @1: Charlie is cold.[(((triple8 triple6) -> rule2))] Charlie is round.[(((triple7 triple8) -> rule4))] Fred is blue.[(((triple11) -> rule3))] @2: Charlie is nice.[(((triple7 ((triple8 triple6) -> rule2)) -> rule1))] Charlie is rough.[(((((triple8 triple6) -> rule2) triple7) -> rule6))] @3: Charlie is blue.[(((((((triple8 triple6) -> rule2) triple7) -> rule6)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
((triple3 triple2) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8 triple6) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple7 triple8) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple11) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 ((triple8 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple8 triple6) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Young Alan is red, green and cold.
Due to the fact that Charlie is young, he is red and green; He remains kind nevertheless.
Eric is big and tends to wear red shirts.
They always call him rough Fred.
People who can be kind when they are cold are fundamentally nice.
A person that is both green and red tends to be cold as well.
A person with a rough quality is also a person with a blue quality.
A kind person who is green is usually round.
A person being big and rough makes them cold towards others but that also means that they are kind.
If a rather cold person is also kind then they are probably rough.