Charlie is young, rough and green, but he turns blue when he is cold like anyone else. Because Eric gets cold easily he tends to appear round from bundling up. Fred was born only a few years ago so he is young. Harry is so young and darling he is kind to all the old people on the block. If people are cold they are often red. Interestingly, cold and rough people are kind. Young, kind people have the trait of being cold and are also very nice to interact with. If a person is red, kind, and nice then they must be round. Some kind person that is round a blue will get embarrassed and turn red. People who are nice and rough are looked at as kind.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Harry is young.
True
1
proof
[(triple9)]
("Harry" "is" "young" "+")
triple9
Fred is not young.
False
1
inv-proof
[(triple8)]
("Fred" "is" "young" "-")
triple8
Eric is red.
True
2
proof
[(((triple7) -> rule1))]
("Eric" "is" "red" "+")
((triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Charlie" "is" "kind" "-")
((triple4 triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
True
6
proof
[(((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple4 triple1 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple4 triple1 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
True
12
proof
[(((((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3) ((triple4) -> rule1) ((triple4 triple2) -> rule2)) -> rule4))]
("Charlie" "is" "round" "+")
((((triple4 triple1 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not round.
False
12
inv-proof
[(((((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3) ((triple4) -> rule1) ((triple4 triple2) -> rule2)) -> rule4))]
("Charlie" "is" "round" "-")
((((triple4 triple1 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Eric is cold.[(triple7)] Eric is round.[(triple6)] Fred is young.[(triple8)] Harry is kind.[(triple10)] Harry is young.[(triple9)] @1: Charlie is kind.[(((triple4 triple2) -> rule2))] Charlie is red.[(((triple4) -> rule1))] Eric is red.[(((triple7) -> rule1))] @2: Charlie is nice.[(((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3))] @3: Charlie is round.[(((((triple4 triple1 ((triple4 triple2) -> rule2)) -> rule3) ((triple4) -> rule1) ((triple4 triple2) -> rule2)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple1 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 triple1 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young, rough and green, but he turns blue when he is cold like anyone else.
Because Eric gets cold easily he tends to appear round from bundling up.
Fred was born only a few years ago so he is young.
Harry is so young and darling he is kind to all the old people on the block.
If people are cold they are often red.
Interestingly, cold and rough people are kind.
Young, kind people have the trait of being cold and are also very nice to interact with.
If a person is red, kind, and nice then they must be round.
Some kind person that is round a blue will get embarrassed and turn red.
People who are nice and rough are looked at as kind.