Bob became more and more round and nice and kind, but he couldn't stop being cold and big. In the snow sits Dave, crying from being cold. People think that Eric is round. This might be because he is young and blue. This Harry guy is red. He is also kind and yet cold. Big, kind people that are rough are known for being red. A green and blue colored person who is young will certainly be big. You will probably see that big, round, blue people are green, too. You will notice that a rough, nice, red individual will be young. A person with a round body will be feeling very cold and will be rough to handle. You will find most green,cold and blue people to be rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and red and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "+")
triple12
Harry is not cold.
False
1
inv-proof
[(triple12)]
("Harry" "is" "cold" "-")
triple12
Bob is rough.
True
3
proof
[(((triple4 triple1) -> rule5))]
("Bob" "is" "rough" "+")
((triple4 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple4 triple1) -> rule5))]
("Bob" "is" "rough" "-")
((triple4 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
True
6
proof
[(((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1))]
("Bob" "is" "red" "+")
((triple5 triple3 ((triple4 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not red.
False
6
inv-proof
[(((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1))]
("Bob" "is" "red" "-")
((triple5 triple3 ((triple4 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
True
11
proof
[(((((triple4 triple1) -> rule5) ((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1) triple2) -> rule4))]
("Bob" "is" "young" "+")
((((triple4 triple1) -> (rule5 % int3)) ((triple5 triple3 ((triple4 triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not young.
False
11
inv-proof
[(((((triple4 triple1) -> rule5) ((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1) triple2) -> rule4))]
("Bob" "is" "young" "-")
((((triple4 triple1) -> (rule5 % int3)) ((triple5 triple3 ((triple4 triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple6)] Eric is blue.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] @1: Bob is rough.[(((triple4 triple1) -> rule5))] @2: Bob is red.[(((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1))] @3: Bob is young.[(((((triple4 triple1) -> rule5) ((triple5 triple3 ((triple4 triple1) -> rule5)) -> rule1) triple2) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5 triple3 ((triple4 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple4 triple1) -> (rule5 % int3)) ((triple5 triple3 ((triple4 triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob became more and more round and nice and kind, but he couldn't stop being cold and big.
In the snow sits Dave, crying from being cold.
People think that Eric is round; This might be because he is young and blue.
This Harry guy is red; He is also kind and yet cold.
Big, kind people that are rough are known for being red.
A green and blue colored person who is young will certainly be big.
You will probably see that big, round, blue people are green, too.
You will notice that a rough, nice, red individual will be young.
A person with a round body will be feeling very cold and will be rough to handle.
You will find most green,cold and blue people to be rough.