Alan is a very kind, green but sometimes cold person. Bob is kind and round. Being round makes him a bit blue. Even though he's a big dude, Charlie is cold. Harry has a round face and is very nice. A green and red colored person who is rather nice will definitely be kind. A young person with a kind heart and big sized body will be rough around the edges. A round someone could be blue and round but maybe red. When you meet big guys with red hair, then tend to be cold hearted. Red and kind people always seem to be big as well. Blue and red people who are young always have rough skin. Red people who are green and blue are always kind.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Charlie is big.
True
1
proof
[(triple8)]
("Charlie" "is" "big" "+")
triple8
Charlie is not cold.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "cold" "-")
triple7
Bob is red.
True
3
proof
[(((triple4 triple6) -> rule3))]
("Bob" "is" "red" "+")
((triple4 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple4 triple6) -> rule3))]
("Bob" "is" "red" "-")
((triple4 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
True
5
proof
[(((((triple4 triple6) -> rule3) triple5) -> rule5))]
("Bob" "is" "big" "+")
((((triple4 triple6) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not big.
False
5
inv-proof
[(((((triple4 triple6) -> rule3) triple5) -> rule5))]
("Bob" "is" "big" "-")
((((triple4 triple6) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
True
9
proof
[(((((((triple4 triple6) -> rule3) triple5) -> rule5) ((triple4 triple6) -> rule3)) -> rule4))]
("Bob" "is" "cold" "+")
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not cold.
False
9
inv-proof
[(((((((triple4 triple6) -> rule3) triple5) -> rule5) ((triple4 triple6) -> rule3)) -> rule4))]
("Bob" "is" "cold" "-")
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is round.[(triple4)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Bob is red.[(((triple4 triple6) -> rule3))] @2: Bob is big.[(((((triple4 triple6) -> rule3) triple5) -> rule5))] @3: Bob is cold.[(((((((triple4 triple6) -> rule3) triple5) -> rule5) ((triple4 triple6) -> rule3)) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple4 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4 triple6) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple4 triple6) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Alan is a very kind, green but sometimes cold person.
Bob is kind and round; Being round makes him a bit blue.
Even though he's a big dude, Charlie is cold.
Harry has a round face and is very nice.
A green and red colored person who is rather nice will definitely be kind.
A young person with a kind heart and big sized body will be rough around the edges.
A round someone could be blue and round but maybe red.
When you meet big guys with red hair, then tend to be cold hearted.
Red and kind people always seem to be big as well.
Blue and red people who are young always have rough skin.
Red people who are green and blue are always kind.