Alan always goes out of his way to show that he is kind to people. Charlie appears green and blue, he is also rather round and kind. Dave is known to be rough and green. Eric has a round face and is very nice. Round, blue, and green people are poften rough. A big, kind someone could also be cold in a green dress. Young people who are feeling green and cold are kind. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. A green, round, blue male or female will be a big male or female, too. A person who is cold with a red nose will be feeling blue. When a person's traits are to be big, blue and cold, they will also have a red trait.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Charlie is big.
True
4
proof
[(((triple4 triple2 triple5) -> rule5))]
("Charlie" "is" "big" "+")
((triple4 triple2 triple5) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule5))]
("Charlie" "is" "big" "-")
((triple4 triple2 triple5) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
True
7
proof
[(((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4))]
("Charlie" "is" "cold" "+")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not cold.
False
7
inv-proof
[(((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4))]
("Charlie" "is" "cold" "-")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
True
13
proof
[(((((triple4 triple2 triple5) -> rule5) ((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4) triple5) -> rule7))]
("Charlie" "is" "red" "+")
((((triple4 triple2 triple5) -> (rule5 % int3)) ((((triple4 triple2 triple5) -> (rule5 % int3)) triple4 triple3) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not red.
False
13
inv-proof
[(((((triple4 triple2 triple5) -> rule5) ((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4) triple5) -> rule7))]
("Charlie" "is" "red" "-")
((((triple4 triple2 triple5) -> (rule5 % int3)) ((((triple4 triple2 triple5) -> (rule5 % int3)) triple4 triple3) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Alan" "is" "red" "+")
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is kind.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Dave is green.[(triple7)] Dave is rough.[(triple6)] Eric is nice.[(triple9)] Eric is round.[(triple8)] @1: Charlie is big.[(((triple4 triple2 triple5) -> rule5))] Charlie is rough.[(((triple5 triple4 triple2) -> rule1))] @2: Charlie is cold.[(((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4))] @3: Charlie is red.[(((((triple4 triple2 triple5) -> rule5) ((((triple4 triple2 triple5) -> rule5) triple4 triple3) -> rule4) triple5) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple2 triple5) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 triple4 triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 triple2 triple5) -> (rule5 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple2 triple5) -> (rule5 % int3)) ((((triple4 triple2 triple5) -> (rule5 % int3)) triple4 triple3) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Charlie appears green and blue, he is also rather round and kind.
Dave is known to be rough and green.
Eric has a round face and is very nice.
Round, blue, and green people are poften rough.
A big, kind someone could also be cold in a green dress.
Young people who are feeling green and cold are kind.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
A green, round, blue male or female will be a big male or female, too.
A person who is cold with a red nose will be feeling blue.
When a person's traits are to be big, blue and cold, they will also have a red trait.