Alan always goes out of his way to show that he is kind to people. In the snow sits Bob, crying from being cold. Charlie is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Eric tends to be nice, but is young. Eric has rough blue skin. Nice blue people are often rough. A person who is described as round and rough is usually kind. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. Anybody with rough, kind and blue aspects will certainly be cold, too. Big kind people are usually cold.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is rough.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Charlie" "is" "rough" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Charlie" "is" "rough" "-")
((triple4 triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
True
5
proof
[(((triple3 ((triple4 triple5) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not kind.
False
5
inv-proof
[(((triple3 ((triple4 triple5) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
10
proof
[(((((triple4 triple5) -> rule1) ((triple3 ((triple4 triple5) -> rule1)) -> rule2) triple5) -> rule5))]
("Charlie" "is" "cold" "+")
((((triple4 triple5) -> (rule1 % int3)) ((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
10
inv-proof
[(((((triple4 triple5) -> rule1) ((triple3 ((triple4 triple5) -> rule1)) -> rule2) triple5) -> rule5))]
("Charlie" "is" "cold" "-")
((((triple4 triple5) -> (rule1 % int3)) ((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is kind.[(triple1)] Bob is cold.[(triple2)] Charlie is blue.[(triple5)] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7 OR ((triple8 triple9) -> rule1))] Eric is young.[(triple6)] @1: Charlie is rough.[(((triple4 triple5) -> rule1))] @2: Charlie is kind.[(((triple3 ((triple4 triple5) -> rule1)) -> rule2))] @3: Charlie is cold.[(((((triple4 triple5) -> rule1) ((triple3 ((triple4 triple5) -> rule1)) -> rule2) triple5) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
((triple8 triple9) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 ((triple4 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 triple5) -> (rule1 % int3)) ((triple3 ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan always goes out of his way to show that he is kind to people.
In the snow sits Bob, crying from being cold.
Charlie is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Eric tends to be nice, but is young; Eric has rough blue skin.
Nice blue people are often rough.
A person who is described as round and rough is usually kind.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Big kind people are usually cold.