Bob is a rather round fellow, but kind and nice to people. He often looks green and blue. They always call him rough Dave. Big Harry is still young so it's easy for him to be kind. It seems to be that a person who is green, red, and blue will be very big. A nice and kind natured person that is big in shape will be rough. Nice people are kind and rough when they are young. People that are red and blue and green at the same time have a reason to be cold. I bet you didn't know that nice, kind, cold people happen to be red. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. A person that is round, green, and blue is usually considered cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Bob is cold.
True
4
proof
[(((triple1 triple4 triple5) -> rule7))]
("Bob" "is" "cold" "+")
((triple1 triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
4
inv-proof
[(((triple1 triple4 triple5) -> rule7))]
("Bob" "is" "cold" "-")
((triple1 triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
True
7
proof
[(((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5))]
("Bob" "is" "red" "+")
((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not red.
False
7
inv-proof
[(((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5))]
("Bob" "is" "red" "-")
((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
True
10
proof
[(((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1))]
("Bob" "is" "big" "+")
((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not big.
False
10
inv-proof
[(((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1))]
("Bob" "is" "big" "-")
((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
True
13
proof
[(((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2))]
("Bob" "is" "rough" "+")
((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int4))) -> (rule5 % int3)) triple5 triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not rough.
False
13
inv-proof
[(((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2))]
("Bob" "is" "rough" "-")
((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int4))) -> (rule5 % int3)) triple5 triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
True
16
proof
[(((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2)) -> rule3))]
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int5))) -> (rule5 % int4)) triple5 triple4) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not young.
False
16
inv-proof
[(((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2)) -> rule3))]
("Bob" "is" "young" "-")
((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int5))) -> (rule5 % int4)) triple5 triple4) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "blue" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is rough.[(triple6)] Harry is big.[(triple9)] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Bob is cold.[(((triple1 triple4 triple5) -> rule7))] @2: Bob is red.[(((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5))] @3: Bob is big.[(((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1))] @4: Bob is rough.[(((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2))] @5: Bob is young.[(((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> rule7)) -> rule5) triple5 triple4) -> rule1) triple3) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int4))) -> (rule5 % int3)) triple5 triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 ((((triple2 triple3 ((triple1 triple4 triple5) -> (rule7 % int5))) -> (rule5 % int4)) triple5 triple4) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is a rather round fellow, but kind and nice to people; He often looks green and blue.
They always call him rough Dave.
Big Harry is still young so it's easy for him to be kind.
It seems to be that a person who is green, red, and blue will be very big.
A nice and kind natured person that is big in shape will be rough.
Nice people are kind and rough when they are young.
People that are red and blue and green at the same time have a reason to be cold.
I bet you didn't know that nice, kind, cold people happen to be red.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
A person that is round, green, and blue is usually considered cold.