Bob, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Dave is kind and round. Being round makes him a bit blue. They always call him rough Eric. Blue and red people are often rough. Cold, green people have a habit of eating alot and looking quite round. There are so many rough, young people and for some reason they are all big too. People that are big but also green, may ultimately be very nice. When a round individual is nice to others, they are also feeling blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Dave is kind.
True
1
proof
[(triple8)]
("Dave" "is" "kind" "+")
triple8
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is big.
True
3
proof
[(((triple1 triple3) -> rule3))]
("Bob" "is" "big" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("Bob" "is" "big" "-")
((triple1 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
True
5
proof
[(((((triple1 triple3) -> rule3) triple6) -> rule4))]
("Bob" "is" "nice" "+")
((((triple1 triple3) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((((triple1 triple3) -> rule3) triple6) -> rule4))]
("Bob" "is" "nice" "-")
((((triple1 triple3) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
True
7
proof
[(((triple2 ((((triple1 triple3) -> rule3) triple6) -> rule4)) -> rule5))]
("Bob" "is" "blue" "+")
((triple2 ((((triple1 triple3) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not blue.
False
7
inv-proof
[(((triple2 ((((triple1 triple3) -> rule3) triple6) -> rule4)) -> rule5))]
("Bob" "is" "blue" "-")
((triple2 ((((triple1 triple3) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple9)] Dave is kind.[(triple8)] Dave is round.[(triple7)] Eric is rough.[(triple10)] @1: Bob is big.[(((triple1 triple3) -> rule3))] @2: Bob is nice.[(((((triple1 triple3) -> rule3) triple6) -> rule4))] @3: Bob is blue.[(((triple2 ((((triple1 triple3) -> rule3) triple6) -> rule4)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1 triple3) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((((triple1 triple3) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob, is a rather young, rough, and round person who is considered kind; Today however he is red from a sunburn and looks green after seeing some rather rotten trash.
Dave is kind and round; Being round makes him a bit blue.
They always call him rough Eric.
Blue and red people are often rough.
Cold, green people have a habit of eating alot and looking quite round.
There are so many rough, young people and for some reason they are all big too.
People that are big but also green, may ultimately be very nice.
When a round individual is nice to others, they are also feeling blue.