Alan always goes out of his way to show that he is kind to people. Red Bob is what folks call him, because he is quite red. Charlie is rough and cold, but he's young and will get over it. Eric's characteristics are that he is young, round, red, nice, kind, green and big. If a red and blue person is also kind to people that means they are rough as well. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. A big and rough person can be misleading because they are cold and blue as well. A nice big person who is also round is going to be cold.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is round.
True
1
proof
[(triple7)]
("Eric" "is" "round" "+")
triple7
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Eric is cold.
True
4
proof
[(((triple7 triple12 triple9) -> rule4))]
("Eric" "is" "cold" "+")
((triple7 triple12 triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
4
inv-proof
[(((triple7 triple12 triple9) -> rule4))]
("Eric" "is" "cold" "-")
((triple7 triple12 triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
True
7
proof
[(((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2))]
("Eric" "is" "rough" "+")
((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not rough.
False
7
inv-proof
[(((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2))]
("Eric" "is" "rough" "-")
((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
True
13
proof
[(((((triple7 triple12 triple9) -> rule4) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2)) -> rule3))]
("Eric" "is" "blue" "+")
((((triple7 triple12 triple9) -> (rule4 % int3)) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not blue.
False
13
inv-proof
[(((((triple7 triple12 triple9) -> rule4) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2)) -> rule3))]
("Eric" "is" "blue" "-")
((((triple7 triple12 triple9) -> (rule4 % int3)) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is kind.[(triple1)] Bob is red.[(triple2)] Charlie is cold.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Eric is big.[(triple12)] Eric is green.[(triple11)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] @1: Eric is cold.[(((triple7 triple12 triple9) -> rule4))] @2: Eric is rough.[(((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2))] @3: Eric is blue.[(((((triple7 triple12 triple9) -> rule4) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> rule4)) -> rule2)) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is green.
("Eric" "is" "green" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple12 triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple7 triple12 triple9) -> (rule4 % int3)) triple12 ((triple7 triple12 ((triple7 triple12 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Red Bob is what folks call him, because he is quite red.
Charlie is rough and cold, but he's young and will get over it.
Eric's characteristics are that he is young, round, red, nice, kind, green and big.
If a red and blue person is also kind to people that means they are rough as well.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
A big and rough person can be misleading because they are cold and blue as well.
A nice big person who is also round is going to be cold.